M. Pini, F. Rossi, K. Venable, and T. Walsh. TARK '05: Proceedings of the 10th conference on Theoretical aspects of rationality and knowledge, page 193--206. Singapore, Singapore, National University of Singapore, (2005)
J. Alferes, and L. Pereira. JELIA '00: Proceedings of the European Workshop on Logics in Artificial Intelligence, page 345--360. London, UK, Springer-Verlag, (2000)