Logic program synthesis in a higherorder setting (0)

by D Lacey, J Richardson, A Smaill
Venue:Computational Logic