| |
| 1995 | ||
|---|---|---|
| 1 | Andre J. Sampaio, Armando Martin Haeberer, Claudio T. Prates, Cristina D. Ururahy, Marcelo F. Frias, Neudson C. Albuquerque: PLATO: A Tool to Assist Programming as Term Rewriting and Therem Proving. TAPSOFT 1995: 797-798 | |
| 1 | Neudson C. Albuquerque | [1] |
| 2 | Marcelo F. Frias | [1] |
| 3 | Armando Martin Haeberer | [1] |
| 4 | Andre J. Sampaio | [1] |
| 5 | Cristina D. Ururahy | [1] |