Hybrid Constraints in Automated Model Synthesis and Model Processing.

Klaus-Ulrich Leweling Benno Stein Hybrid Constraints in Automated Model Synthesis and Model Processing. 68 2000 4 Electronic Notes in Discrete Mathematics http://dx.doi.org/10.1016/S1571-0653(05)80107-6 db/journals/endm/endm4.html#LewelingS00