Knowledge Representation in an Efficient Deductive Inference System. - E. P. Stabler Jr.; Edward W. Elcock (Logic Programming Workshop, 1983)