Efficient AC1-matching using constraints - Avenhaus, Jürgen; Denzinger, Jörg; Hoffmann, T. (1992)