On Complete Functional Synthesis (2009)

by M Mayer, P Suter, R Piskac, V Kuncak