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

by A Pimlott, Kiselyov
Venue:In: Proceedings of the 8th International Conference on Functional and Logic Programming (FLOPS