Christoph F. Eick. Integrating Variables and Operations into Rule-Based Forward Chaining Systems. In Zbigniew W. Ras, Maria Zemankova, editors, Methodologies for Intelligent Systems, 6th International Symposium, ISMIS 91, Charlotte, N.C., USA, October 16-19, 1991, Proceedings. Volume 542 of Lecture Notes in Computer Science, pages 52-61, Springer, 1991.
Abstract is missing.