Arosha K. Bandara Emil Lupu Alessandra Russo Using Event Calculus to Formalise Policy Specification and Analysis. 26- 2003 conf/policy/2003 POLICY http://csdl.computer.org/comp/proceedings/policy/2003/1839/00/18390026abs.htm db/conf/policy/policy2003.html#BandaraLR03