a logic-based trust management system, system description (2006)

by A Pimlott, O Kselyov, “Soutei
Venue:in Proceedings of the 8th International Symposium on Functional and Logic Programming, ser. Lecture Notes in Computer Science, M. Hagiya and