Logic Machine Architecture: Inference Mechanisms.

Ewing L. Lusk William McCune Ross A. Overbeek Logic Machine Architecture: Inference Mechanisms. 85-108 1982 conf/cade/1982 CADE db/conf/cade/cade82.html#LuskMO82a http://dx.doi.org/10.1007/BFb0000053