On the combination of symbolic constraints, solution domains, and constraint solvers - Baader, Franz 1959-; Schulz, Klaus U. (Centrum für Informations- und Sprachverarbeitung <München>: CIS-Bericht, 1995)