A Resolution Principle for Clauses with Constraints (1990)

by H J Bürckert
Venue:10th International Conference on Automated Deduction, LNAI 449