Daniel P. Miranker Performance Estimates for the DADO Machine: A Comparison of Treat and Rete. 449-457 1984 FGCS db/conf/fgcs/fgcs84.html#Miranker84