Logic program synthesis using schema instantiation in an interactive environmentAnna-Lena Johansson · First published 1995Open the Tome
