Valery I. Frants Jacob Shapiro Algorithm for automatic construction of query formulations in Boolean form. 16-26 1991 42 JASIS 1 db/journals/jasis/jasis42.html#FrantsS91