Experience with a Refinement Paradigm in a Knowledge-Based Automatic Programming System.

David R. Barstow

Browse the full ECAI paper archive.