"A Logic Programming Approach to Conflict Resolution in Policy Management."

Jan Chomicki, Jorge Lobo, Shamim A. Naqvi (2000)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics