Dawn J. Holmes Lois Wright Hawkes Attribute Pattern-Matching Equations: A Diagnostic Technique for Intelligent Tutoring Systems. 153-178 1994 77 Inf. Sci. 1-2 db/journals/isci/isci77.html#HolmesH94