On the duality of abduction and model generation in a framework for model generation with equality

Satchmo - The Compiling and Functional Variants

Journal of Automated Reasoning

Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation

Journal of Automated Reasoning

A Deduction Method Complete for Refutation and Finite Satisfiability

JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence

Representing and Building Models for Decidable Subclasses of Equational Clausal Logic

Journal of Automated Reasoning

Bottom-up abduction by model generation

IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1