Sybil: Synthesis by Interactive Learning. - Michael Clarke; Ashley Watkins; Mathew Adkins; Mark A. Bokowiec (ICMC, 2004)