Luc Albert François Fages Average Case Complexity Analysis of the Rete Multi-Pattern Match Algorithm. 18-37 1988 conf/icalp/1988 ICALP db/conf/icalp/icalp88.html#AlbertF88 http://dx.doi.org/10.1007/3-540-19488-6_104