Steve Barker Michael Leuschel Mauricio Varea Efficient and flexible access control via logic program specialisation. 190-199 2004 conf/pepm/2004 PEPM http://doi.acm.org/10.1145/1014007.1014026 db/conf/pepm/pepm2004.html#BarkerLV04