Knowledge Representation in an Efficient Deductive Inference System.

E. P. Stabler Jr., Edward W. Elcock

Browse the full ICLP paper archive.