Computer Science - 1979 Doyle, J. (1979). A truth maintenance system. Artificial Intelligence, 12(3), 231–272. https://doi.org/10.1016/0004-3702(79)90008-0 Doyle, J. (1979). GLIMPSE OF TRUTH MAINTENANCE. Energy Technology Review, 1, 117–135. Retrieved from http://www.scopus.com/inward/record.url?eid=2-s2.0-0018586473&partnerID=MN8TOARS Kleer, J., Doyle, J., Steele, G. L., & Sussman, G. J. (1979). EXPLICIT CONTROL OF REASONING. Energy Technology Review, 1, 93–116. Retrieved from http://www.scopus.com/inward/record.url?eid=2-s2.0-0018585420&partnerID=MN8TOARS Gehringer, E. F. (1979). Functionality and performance in capability-based operating systems (Ph.D. thesis). Department of Computer Sciences, Purdue University. Gehringer, E. F. (1979). Variable-length capabilities as a solution to the small-object problem. Proceedings of the seventh symposium on Operating systems principles - SOSP '79. Presented at the the seventh symposium. https://doi.org/10.1145/800215.806581