Title: Logic based program synthesis and transformation
First published: 2001
Subjects: Logic programming, Congresses