A Certified Core Policy Language.

Bahman Sistany, Amy P. Felty

Browse the full PST paper archive.