Publication

A Resolution Principle for Clauses with Constraints

Hans-Jürgen Bürckert

In: M. E. Stickel (editor). Proceedings of 10th International Conference on Automated Deduction. International Conference on Automated Deduction (CADE-10) 10th July 24-27 Kaiserslautern Germany Pages 178-192 Lecture Notes in Artificial Intelligence (LNAI) 449 Springer Berlin - Heidelberg 1990.

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz