- CSB - MetaPress - Google - Bing - Yahoo
 | 1996 | |
|---|---|---|
| 3 |      | Martin Protzen: Patching Faulty Conjectures. CADE 1996: 77-91 |
| 1994 | ||
| 2 | | Martin Protzen: Lazy Generation of Induction Hypotheses. CADE 1994: 42-56 |
| 1992 | ||
| 1 | | Martin Protzen: Disproving Conjectures. CADE 1992: 340-354 |