A non-classical logic for Information Retrieval (1986)

by C J van Rijsbergen
Venue:The Computer Journal