Timothy P. Clement

Logic Program Synthesis and Transformation