Skip to main content Skip to main navigation

Publikation

On Abduction and Answer Generation through Constrained Resolution

Hans-Jürgen Bürckert; Werner Nutt
Research Report, Vol. RR-92-51, 1992.