- Term Rewriting and All That
- An Introduction to Description Logic
- Ueber Die Begr�ndung Der Ethik Durch Die Physik
- Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings (Lecture Notes in Computer Science ... Computer Science and General Issues)
- Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings (Lecture Notes in Computer Science)