- Grundlage der symbolischen Logik
- Syntax coloring (somewhat) and integration of an interpreter
- Prolog/XPCE based GUI for creating trees for various latex packages
- International Journal of Man-Machine Studies 24(6):623-632 (1986)
- Poster presented at the Twelfth International Conference on Functional Grammar. Sao Jose do Rio Preto, Brazil: Universidade Estadual Paulista., (2006)
- Proceedings of the ACL-02 workshop on Computational approaches to semitic languages, page 1--6. (2002)


user