Efficient AC-Matching using constraint propagation - Gramlich, Bernhard; Denzinger, Jörg (Seki-Report, 1988)