Combining Top-Down and Bottom-Up Techniques in Program Derivation.

Dipak L. Chaudhari, Om P. Damani

Browse the full LOPSTR paper archive.