CONSTRUCTION OF MODEL-SPACE CONSTRAINTS

by Patrick Nguyen , Luca Rigazio , Christian Wellekens , Jean-claude Junqua