First-Order Theorem Proving Using Conditional Rewrite Rules.

Hantao Zhang Deepak Kapur First-Order Theorem Proving Using Conditional Rewrite Rules. 1-20 1988 conf/cade/1988 CADE db/conf/cade/cade88.html#ZhangK88 http://dx.doi.org/10.1007/BFb0012820