Engelhardt K; Van Der Meyden R; Moses Y, 2001, 'A Refinement Theory that Supports Reasoning about Knowledge and Time for Synchronous Agen', in
Proceedings of the First International Conference on Advances in Natural Computation (ICNC 2005), Part III, Lecture Notes in Computer Science 3612/2005, Springer, Berlin, Germany, pp. 125 - 141, presented at Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, LPAR 2001, Havana, Cuba, 03 December 2001 - 07 December 2001,
http://dx.doi.org/10.1007/3-540-45653-8_9