Soutei, a logic-based trust-management system. (2006)

by A Pimlott, O Kiselyov
Venue:In Proc. Functional and Logic Programming Symposium (FLOPS),