- Logic Programming and Databases (Surveys in Computer Science)
- Database Theory - ICDT '95: 5th International Conference, Prague, Czech Republic, January 11 - 13, 1995. Proceedings
- Expert Systems in Engineering: Principles and Applications
- Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings (Lecture Notes in Computer Science)
- Advances in Databases and Information Systems : 8th East European Conference, ADBIS 2004, Budapest, Hungary, September 22-25, 2004, Proceedings