A non-classical logic for information retrieval (1986)

by C J van Rijsbergen
Venue:The Computer Journal