@inproceedings{Uli2002,
author={I. Ulidowski},
title={Refusal Simulation and Interactive Games},
booktitle={Proceedings of the 9th International Conference on Algebraic
	Methodology and Software Technology AMAST 2002},
editor={H. Kirchner and C. Ringeissen},
year=2002,
publisher={Springer},
volume=2422,
pages={208--222},
series=LNCS}