Bernholtz, O. and
Grumberg, Orna. 1994.
“Buy One, Get One Free!!!” in
Temporal Logic, First International Conference ICTL’94, Bonn, Germany, July 11–14, 1994, edited by Dov M.
Gabbay and Hans Jürgen
Ohlbach, pp. 210–224.
Lecture Notes in Computer Science n. 827. Berlin: Springer.