Richard Pikes. The role of truth maintenance in model-based reasoning (abstract only). In Pat Davis, Vicki McClintock, editors, Proceedings of the 15th ACM Annual Conference on Computer Science, St. Louis, Missouri, USA, February 16-19, 1987. pages 349, ACM, 1987. [doi]
Abstract is missing.