Induction using Term Orderings.

Franois Bronsard, Uday S. Reddy, Robert W. Hasker

Browse the full CADE paper archive.