Title: Logic program synthesis and transformation : 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings /
Authors: Proietti, Maurizio, 1959-
Publisher: Springer,
Year: 1996
Subjects: Logic programming Congresses.