Average Case Complexity Analysis of the Rete Multi-Pattern Match Algorithm. - Luc Albert; François Fages (ICALP, 1988)

Average Case Complexity Analysis of RETE Pattern-Match Algorithm and Average Size of Join in Database. - Luc Albert (FSTTCS, 1989)

Complexity of Recursive Production Rules Execution. - Luc Albert; Mireille Régnier (MFDBS, 1991)

Average Case Analysis of Unification Algorithms. - Luc Albert; Rafael Casas; François Fages; A. Torrecillas; Paul Zimmermann (STACS, 1991)

Average-Case Analysis of Unification Algorithms. - Luc Albert; Rafael Casas; François Fages (Theor. Comput. Sci., 1993)