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 /
LOPSTR 93Conference(Louvain-la-Neuve, Belgium)
Deville, Yves,1960-
British Computer Society.
London : Springer-Verlag,
c1994.
Published in collaboration with the British Computer Society
Includes bibliographical references and index
Logic programming