A non-classical logic for information retrieval (1986)

by C van Rijsbergen
Venue:The Computer Journal