Lai Xu Manfred A. Jeusfeld Detecting Violators of Multi-party Contracts. 526-543 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3290&spage=526 2004 conf/coopis/2004-1 CoopIS/DOA/ODBASE (1) db/conf/coopis/coopis2004-1.html#XuJ04