1.
Logic Program Synthesis and Transformation
by Clement, T.P., Lau, K.L.
ISBN: 9783540197423
List Price: $59.00
2.
Logic Program Synthesis and Transformation : Proceedings of Lopstr 92, International Worksho...
by Lau, K-.K., Clement, T.P.
ISBN: 9783540198062
List Price: $69.00