Summary
Efficient algorithms for compliance checking and explanations, supporting the extended policy language described in D2.1.
More information & hyperlinks