Baader, F., & Schulz, K. U. (1994). On the combination of symbolic constraints, solution domains, and constraint solvers. CIS.
Chicago-Zitierstil (17. Ausg.)Baader, Franz, und Klaus U. Schulz. On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers. München: CIS, 1994.
MLA-Zitierstil (9. Ausg.)Baader, Franz, und Klaus U. Schulz. On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers. CIS, 1994.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.