A Tool for Reasoning about Trust and Belief.

Aaron Hunter, Alberto Iglesias

Browse the full LPAR paper archive.