Rewriting and Inductive Reasoning.

Mrton Hajd, Laura Kovcs, Michael Rawson

Browse the full LPAR paper archive.