Lai Xu Manfred A. Jeusfeld Paul W. P. J. Grefen Detection tests for identifying violators of multi-party contracts. 19-28 2005 5 SIGecom Exchanges 3 http://doi.acm.org/10.1145/1120680.1120684 db/journals/sigecom/sigecom5.html#XuJG05