Efficient AC1-matching using constraints - Avenhaus, Jürgen; Denzinger, Jörg; Hoffmann, T. (Universität <Kaiserslautern> / SEKI-Projekt: SEKI report, 1992)