Publikation

On Abduction and Answer Generation through Constrained Resolution

Hans-Jürgen Bürckert, Werner Nutt

Research Report RR-92-51 1992.

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