Combination of constraint solving techniques an algebraic point of view - Baader, Franz 1959-; Schulz, Klaus U. (Centrum für Informations- und Sprachverarbeitung <München>: CIS-Bericht, 1994)