Steve Barker Michael Leuschel Mauricio Varea Efficient and flexible access control via Jones-optimal logic program specialisation. 5-35 2008 21 Higher-Order and Symbolic Computation 1-2 http://dx.doi.org/10.1007/s10990-008-9030-8 db/journals/lisp/lisp21.html#BarkerLV08