Y. J. Jiang. Another View of Autoepistemic Logic and Truth Maintenance System. In Zbigniew W. Ras, Maria Zemankova, editors, Methodologies for Intelligent Systems, 6th International Symposium, ISMIS 91, Charlotte, N.C., USA, October 16-19, 1991, Proceedings. Volume 542 of Lecture Notes in Computer Science, pages 520-529, Springer, 1991.
Abstract is missing.