TY  - RPRT
TI  - Analyzing and Debugging Normative Requirements via Satisfiability Checking
AU  - Nick Feng
AU  - Lina Marsso
AU  - Sinem Getir Yaman
AU  - Yesugen Baatartogtokh
AU  - Reem Ayad
AU  - Victória Oldemburgo de Mello
AU  - Beverley Townsend
AU  - Isobel Standen
AU  - Ioannis Stefanakos
AU  - Calum Imrie
AU  - Genaína Nunes Rodrigues
AU  - Ana Cavalcanti
AU  - Radu Calinescu
AU  - Marsha Chechik
PY  - 2024
DO  - 10.1145/3597503.3639093
UR  - https://arxiv.org/abs/2401.05673
ID  - 2401.05673
ER  -