Prooftheoretic program synthesis: From program verification to program synthesis (2009)

by Saurabh Srivastava, Sumit Gulwani, Jeffrey S Foster