- CSB - MetaPress - Google - Bing - Yahoo
 | 2005 | |
|---|---|---|
| 1 |      | Paul Agron, Leo Bachmair, Frank Nielsen: A Visual Interactive Framework for Formal Derivation. International Conference on Computational Science (1) 2005: 1019-1026 |
| 1 | Leo Bachmair | [1] |
| 2 | Frank Nielsen | [1] |