Soutei, a Logic-Based Trust-Management System. - Andrew Pimlott; Oleg Kiselyov (FLOPS, 2006)