@inproceedings{KP95,
	author	    =   "O. Kupferman and A. Pnueli",
	title       =   "Once and For All",
	booktitle   =   "Proc. 10th {IEEE} Symposium on Logic in
			 Computer Science",
	pages       = 	"25--35",
	address     =	"San Diego",
        month       =	"June",
	year        =	1995,
}