Dixon, Simon and
Foo, Norman F. 1992.
“Encoding the ATMS in AGM Logic (revised).” 441. Sydney: Computer Science Department, University of Sydney.
Dixon, Simon and
Foo, Norman F. 1993.
“Connections between the ATMS and AGM Belief Revision.” in
IJCAI-94. Proceedings of the 13th International Joint Conference on Artificial Intelligence, edited by Ruzena
Bajcsy, pp. 534–539. San Francisco, California: Morgan Kaufmann Publishers.