Efficient AC-Matching using constraint propagation - Gramlich, Bernhard; Denzinger, Jörg (Artificial Intelligence Laboratories, Fachbereich Informatik, Univ. Kaiserslautern, 1988)