TREAT: A new and efficient match algorithm for AI production systems - Miranker, Daniel P (Pitman Publishing, 1990)