@inproceedings{KV97c,
	author	    =   "O. Kupferman and M.Y. Vardi",
        title       =   "Synthesis with incomplete informatio",
	booktitle   = 	"2nd International Conference on Temporal Logic",
        pages       =   "91--106",
        address     =   "Manchester",
        month       =   "July",
        year        =   "1997"
}