Ordered Paramodulation and Resolution as Decision Procedure.

Christian G. Fermller, Gernot Salzer

Browse the full LPAR paper archive.