Computer Science - 1980 The Cm* Multiprocessor Project: A Research Review. (1980). Department of Computer Science, Carnegie-Mellon University. Jones, A. K., & Gehringer, E. F. (1980). The Cm* Multiprocessor Project: A Research Review. https://doi.org/10.21236/ada125936 Kaltofen, E. (1980). LISP/370 under the Michigan Terminal System. Troy, NY: Rensselaer Polytechnic Institute, Mathematical Sciences Department. Gehringer, E. F., & Vegdahl, S. R. (1980). LETTER: a system for personalizing processed text. Proceedings of the ACM Joint SIGSMALL/SIGPLAN Symposium on Small Systems, 199–205. McDermott, D., & Doyle, J. (1980). Non-monotonic logic I. Artificial Intelligence, 13(1-2), 41–72. https://doi.org/10.1016/0004-3702(80)90012-0 Doyle, J., & London, P. (1980). A selected descriptor-indexed bibliography to the literature on belief revision. SIGART Bull., 4(71), 7–22. https://doi.org/10.1145/1056441.1056442 Jones, A. K., & Gehringer, E. F. (Eds.). (1980). The Cm* Multiprocessor Project: A Research Review (Technical Report No. CMU-CS-80-131). Department of Computer Science, Carnegie-Mellon University.