Philippe Suter, Ruzica Piskac, Mikael Mayer, and Viktor Kuncak. On complete functional synthesis. Technical Report LARA-REPORT-2009-006, EPFL, 2009.

[ bib ] Back