- A Grammatical View of Logic Programming (Logic Programming)
- Attribute Grammars and their Applications: International Conference, Paris, France, September 19-21, 1990 (Lecture Notes in Computer Science)
- Programming Language Implementation and Logic Programming
- Analysis and Visualization Tools for Constraint Programming: Constraint Debugging (Lecture Notes in Computer Science)
- Programming Languages Implementation and Logic Programming: International Workshop Plilp '88, Orleans, France, May 16-18, 1988. Proceedings (Lecture Notes in Computer Science)