Model theoretic methods in combined constraint satisfiability (2004)

by S Ghilardi
Venue:Journal of Automated Reasoning