Achievements and Prospects of Program Synthesis.

Published in: Computational Logic: Logic Programming and Beyond (2002)