P. Gärdenfors, and D. Makinson. TARK '88: Proceedings of the 2nd conference on Theoretical aspects
of reasoning about knowledge, page 83--95. San Francisco, CA, USA, Morgan Kaufmann Publishers Inc., (1988)
A. Rao, and M. Georgeff. Proceedings of the 2nd International Conference on Principles of
Knowledge Representation and Reasoning (KR'91), page 473--484. Morgan Kaufmann publishers Inc.: San Mateo, CA, USA, (1991)
Y. Lashkari, M. Metral, and P. Maes. AAAI '94: Proceedings of the twelfth national conference on Artificial
intelligence (vol. 1), American Association for Artificial Intelligence, Menlo Park, CA, USA, (1994)
O. Arieli, and A. Avron. Proc. of the 9th IEEE Annual Symp. on Logic in Computer Science, page 468--476. IEEE Press, (1994)preliminary version of arieli95reasoning.