K. -K Lau

• Logic Program Synthesis and Transformation