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