Complete functional synthesis (2010)

by V Kuncak, M Mayer, R Piskac, P Suter
Venue:In PLDI