Deduced Relevant Types and Constructive Negation.

Norman Y. Foo, Anand S. Rao, Andrew Taylor, Adrian Walker

Browse the full ICLP paper archive.