@misc{indiciaeba9828b5dd5a,
  title = {Proving Regulatory Compliance: Full Compliance Against an Expressive Unconditional Obligation is coNP-Complete},
  author = {Silvano Colombo Tosatto and Guido Governatori and Nick van Beest},
  year = {2022},
  url = {https://arxiv.org/abs/2105.05431},
  note = {Source identifier: 2105.05431}
}