Media type: E-Article Title: Model-Theoretic Methods in Combined Constraint Satisfiability Contributor: Ghilardi, Silvio Published: Springer Science and Business Media LLC, 2004 Published in: Journal of Automated Reasoning, 33 (2004) 3-4, Seite 221-249 Language: English DOI: 10.1007/s10817-004-6241-5 ISSN: 0168-7433; 1573-0670 Keywords: Artificial Intelligence ; Computational Theory and Mathematics ; Software Origination: Footnote: