"Experience Report on Automated Procedure Construction for Deductive Synthesis."

Steve Roach, Jeffrey Van Baalen (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics