doi dblp On the equivalence of boolean and weighted searching based on the convertibility of query forms Pauline V. Angione 1975 Volume 26 Issue 2