@misc{indiciae6fcf36563536,
  title = {Analyzing and Debugging Normative Requirements via Satisfiability Checking},
  author = {Nick Feng and Lina Marsso and Sinem Getir Yaman and Yesugen Baatartogtokh and Reem Ayad and Victória Oldemburgo de Mello and Beverley Townsend and Isobel Standen and Ioannis Stefanakos and Calum Imrie and Genaína Nunes Rodrigues and Ana Cavalcanti and Radu Calinescu and Marsha Chechik},
  year = {2024},
  doi = {10.1145/3597503.3639093},
  url = {https://arxiv.org/abs/2401.05673},
  note = {Source identifier: 2401.05673}
}