Norman Y. Foo Anand S. Rao Andrew Taylor Adrian Walker Deduced Relevant Types and Constructive Negation. 126-139 1988 ICLP/SLP db/conf/iclp/iclp88.html#FooRTW88