| 2007 | ||
|---|---|---|
| 2 | Markus Aderhold: Improvements in Formula Generalization. CADE 2007: 231-246 | |
| 1 | Andreas Schlosser, Christoph Walther, Michael Gonder, Markus Aderhold: Context Dependent Procedures and Computed Types in -eriFun. Electr. Notes Theor. Comput. Sci. 174(7): 61-78 (2007) | |
| 1 | Michael Gonder | [1] |
| 2 | Andreas Schlosser | [1] |
| 3 | Christoph Walther | [1] |