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}
}