Anoop Gupta Charles Forgy Allen Newell High-Speed Implementations of Rule-Based Systems. 119-146 1989 7 ACM Trans. Comput. Syst. 2 http://doi.acm.org/10.1145/63404.63405 db/journals/tocs/tocs7.html#GuptaFN89