Lakemeyer, Gerhard and
Meyer, Susanne. 1994.
“Enhancing the Power of a Decidable First-Order Reasoner.” in
KR’94: Principles of Knowledge Representation and Reasoning, edited by Jon
Doyle, Erik
Sandewall, and Pietro
Torasso, pp. 403–413. San Francisco, California: Morgan Kaufmann Publishers.