An alternative for handling AC - Fuchs, Matthias (Univ., Fachbereich Informatik, 1994)