T. P. Clement

• Logic Program Synthesis and Transformation