D. Bernstein, S. Zilberstein, and N. Immerman. Proc. 16th Conf. Uncertainty in Artificial Intelligence: Proceedings of the Sixteenth Conference (UAI-2000), page 32--37. San Francisco, CA, Morgan Kaufmann Publishers, (2000)
D. Szer, F. Charpillet, and S. Zilberstein. In Proceedings of the Twenty-First Conference on Uncertainty in Artificial Intelligence, page 576--583. (2005)