Title: Logic Program Synthesis and Transformation
First published: April 18, 1997
Subjects: Logic programming, Congresses