Carlo Montangero Stephan Reiff-Marganiec Laura Semini Logic-based Conflict Detection for Distributed Policies. 511-538 2008 89 Fundam. Inform. 4 http://iospress.metapress.com/content/x6650q20g8850034/ db/journals/fuin/fuin89.html#MontangeroRS08