How to Prove Inductive Theorems? QUODLIBET!

Jrgen Avenhaus, Ulrich Khler, Tobias Schmidt-Samoa, Claus-Peter Wirth

Browse the full CADE paper archive.