TREAT a new and efficient match algorithm for AI production systems - Miranker, Daniel P. (Pitman, 1990)
Includes bibliographical references (pages 138-143)