An automated reasoning system

Larry Wos, S. K. Winker, Ewing L. Lusk. An automated reasoning system. In American Federation of Information Processing Societies: 1981 National Computer Conference, 4-7 May 1981, Chicago, Illinois, USA. Volume 50 of AFIPS Conference Proceedings, pages 697-702, AFIPS Press, 1981. [doi]

Abstract

Abstract is missing.