ISBN 9783540650744 books & textbook
Logic Program Synthesis and Transformation: 7th International Workshop, LOPSTR ’97, Leuven, Belgium, July 10–12, 1997 Proceedings (Lecture Notes in Computer Science, 1463)
Springer /1998-09-09 Paperback / 353 Pages
isbn-10: 3540650741 / isbn-13: 9783540650744