Ordered paramodulation and resolution as decision procedure (1993)

by C G Fermüller, G Salzer
Venue:Proceedings of the 4th International Conference on Logic Programming and Automated Reasoning (LPAR’93)’, Vol. 698 of LNAI