A Resolution Principle for Clauses with Constraints

@inproceedings{pub2366,
    author = {

Bürckert, Hans-Jürgen
},
    editor = {

Stickel, M. E.
},
    title = {A Resolution Principle for Clauses with Constraints},
    booktitle = {Proceedings of 10th International Conference on Automated Deduction. International Conference on Automated Deduction (CADE-10), 10th, July 24-27, Kaiserslautern, Germany},
    series = {Lecture Notes in Artificial Intelligence (LNAI)},
    year = {1990},
    volume = {449},
    pages = {178--192},
    publisher = {Springer}
}