Analyzing and Debugging Normative Requirements via Satisfiability Checking.
Nick FengLina MarssoSinem Getir YamanYesugen BaatartogtokhReem AyadVictória Oldemburgo de MelloBeverley A. TownsendIsobel StandenIoannis StefanakosCalum ImrieGenaína Nunes RodriguesAna CavalcantiRadu CalinescuMarsha ChechikPublished in: CoRR (2024)