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