Extensible Semantics for XrML Vicky Weissman Joint work with Joe Halpern.
A Formal Foundation for XrML