Roman Barták Effective Modeling with Constraints. 149-165 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3392&spage=149 2004 conf/wlp/2004 INAP/WLP db/conf/wlp/wlp2004.html#Bartak04