Stefano Bistarelli Simon N. Foley Analysis of Integrity Policies using Soft Constraints. 77-80 2003 conf/policy/2003 POLICY http://csdl.computer.org/comp/proceedings/policy/2003/1839/00/18390077abs.htm db/conf/policy/policy2003.html#BistarelliF03