Published in collaboration with the British Computer Society.
Logic program synthesis and transformation : proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993. ISBN 3540198644. Published by Springer-Verlag in 1994. Publication and catalogue information, links to buy online and reader comments.