Title: Deductive approach to information retrieval systems
First published: 1992