Yves Deville

1960

• Logic programming
• Logic Program Synthesis and Transformation