| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Logic Program Synthesis and Transformation: Proceedings of Lopstr 92, International Workshop on Logic Program Synthesis and Transformation, Universit | 978-O-387-198O6-4 (O-387-198O6-7) | 1993 | International Workshop on Logic Program Synthesis and Transformation (1992 : University of Manchester) · British Computer Society · Uk Conference on Logic Programming |