John R. Miller. Use of an infinite-valued propositional calculus in a document retrieval system. In Proceedings of the eighth international symposium on Multiple-valued logic, MVL 1978, Rosemont, Illinois, USA, 1978. pages 157-162, IEEE Computer Society Press, 1978. [doi]
Abstract is missing.