Andrew Pimlott Oleg Kiselyov Soutei, a Logic-Based Trust-Management System. 130-145 2006 conf/flops/2006 FLOPS http://dx.doi.org/10.1007/11737414_10 db/conf/flops/flops2006.html#PimlottK06