TREAT a new efficient match algorithm for AI production systems - Miranker, Daniel P. (Research notes in artificial intelligence, 1990)