# Analyzing and Debugging Normative Requirements via Satisfiability Checking

> Research article (Proceedings of the IEEE/ACM 46th International Conference on Software Engineering, 2024) · cited 13× · AI/ML

**Wikidata**: [openalex:W4394744957](https://www.wikidata.org/wiki/openalex:W4394744957)  
**Source**: https://4ort.xyz/entity/analyzing-and-debugging-normative-requirements-via-satisfiability-checking