| |
| 2003 | ||
|---|---|---|
| 2 | EE | Jürgen Avenhaus, Ulrich Kühler, Tobias Schmidt-Samoa, Claus-Peter Wirth: How to Prove Inductive Theorems? QUODLIBET! CADE 2003: 328-333 |
| 1997 | ||
| 1 | Ulrich Kühler, Claus-Peter Wirth: Conditional Equational Specifications of Data Types with Partial Operations for Inductive Theorem Proving. RTA 1997: 38-52 | |
| 1 | Jürgen Avenhaus | [2] |
| 2 | Tobias Schmidt-Samoa | [2] |
| 3 | Claus-Peter Wirth | [1] [2] |