Christoph F. Eick Integrating Variables and Operations into Rule-Based Forward Chaining Systems. 52-61 1991 conf/ismis/1991 ISMIS db/conf/ismis/ismis91.html#Eick91 http://dx.doi.org/10.1007/3-540-54563-8_69