@inproceedings{BG94,
	author	    =	"O. Bernholtz and O. Grumberg",
	title	    =	"Buy one, get one free!!!",
	booktitle   = 	"Proceedings of the First International
		         Conference on Temporal Logic",
        month       =   "July",
        year        =   "1994",
	address     =	"Bonn",
	series      =   "Lecture Notes in Artificial Intelligence",
	volume      =    827,
        publisher   =   "Springer-Verlag",
	pages       =   "210--224"
}


@article{KG96b,
	author   =	"O. Kupferman and O. Grumberg",
	title    =	"Buy one, get one free!!!",
	journal  =	"Journal of Logic and Computation",
	volume   =	6,
	number   =      4,
	pages    = 	"523-539",
	year     =	1996
}