Logical Reasoning for Disjoint Permissions.

Xuan Bach Le, Aquinas Hobor

Browse the full ESOP paper archive.