Canonical Conditional Rewrite Systems.

Nachum Dershowitz, Mitsuhiro Okada, G. Sivakumar

Browse the full CADE paper archive.