An abstract formalisation of correct schemas for program synthesis (0)

by P Flener, K-K Lau, M Ornaghi, J D C Richardson
Venue:Journal of Symbolic Computation