1. Michael Dixon and Johan de Kleer. Massively parallel assumption-based truth maintenance. In Proceedings of the National Conference on Artificial Intelligence, pages 199–204, St. Paul, Minneapolis, August 1988. Morgan Kaufmann Publishers, Inc.
2. Johan de Kleer and Brian C. Williams. Diagnosing multiple faults. Artificial Intelligence, 32: 97–130, 1987.
3. Kenneth D. Forbus and Johan de Kleer. Focusing the ATMS. In Proceedings of the National Conference on Artificial Intelligence, pages 193–198, Saint Paul, Minnesota, August 1988. Morgan Kaufmann Publishers, Inc.
4. Gerhard Friedrich and Wolfgang Nejdl. Increasing the information theoretic content of diagnostic examples using a domain model. In International Workshop on Expert Systems and Their Applications, Avignon, May 1989. Specialized Conference Second Generation Expert Systems.
5. Matthew L. Ginsberg and David E. Smith. Reasoning about action I: A possible worlds approach. In Matthew L. Ginsberg, editor, Readings in Non-Monotonic Reasoning, pages 434–463. Morgan Kaufmann Publishers, Inc., 1987.