Linh Thao Ly Stefanie Rinderle Peter Dadam Integration and verification of semantic constraints in adaptive process management systems. 3-23 2008 64 Data Knowl. Eng. 1 http://dx.doi.org/10.1016/j.datak.2007.06.007 db/journals/dke/dke64.html#LyRD08