Rewrite Methods for Clausal and Non-Clausal Theorem Proving.

Jieh Hsiang, Nachum Dershowitz

Browse the full ICALP paper archive.