TY  - RPRT
TI  - Proving Regulatory Compliance: Full Compliance Against an Expressive Unconditional Obligation is coNP-Complete
AU  - Silvano Colombo Tosatto
AU  - Guido Governatori
AU  - Nick van Beest
PY  - 2022
UR  - https://arxiv.org/abs/2105.05431
ID  - 2105.05431
ER  -