doi dblp A mathematical formulation of keyword compression for thesauri Louis-Gavet Guy 1977 Volume 13 Issue 3