Lokendra Shastri, Venkat Ajjanagadde, D. R. Mani. An Optimally Efficient, Limited Inference, Connectionist Rule-Based Reasoning System with an Included Type Hierarchy. In Bertram Fronhöfer, Graham Wrightson, editors, Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings. Volume 590 of Lecture Notes in Computer Science, pages 366, Springer, 1990.
Abstract is missing.