Fabio Crestani Ian Ruthven Mark Sanderson C. J. van Rijsbergen The Troubles with Using a Logical Model of IR on a Large Collection of Documents. 1995 TREC http://trec.nist.gov/pubs/trec4/papers/glasgow.ps.gz db/conf/trec/trec1995.html#CrestaniRSR95