M.Y.: Synthesis with incomplete information (1997)

by O Kupferman, Vardi
Venue:In: ICTL