Pierre Flener

1964

• Logic program synthesis from incomplete information
• Logic-Based Program Synthesis and Transformation