Publication A Resolution Principle for Constrained Logics Hans-Jürgen Bürckert In: Artificial Intelligence (AIJ), Vol. 66, Pages 235-271, Elsevier, 1994. BibTeX Export A Resolution Principle for Constrained Logics@article{pub1834, author = { Bürckert, Hans-Jürgen }, title = {A Resolution Principle for Constrained Logics}, year = {1994}, volume = {66}, pages = {235--271}, journal = {Artificial Intelligence (AIJ)}, publisher = {Elsevier} }