@misc{indiciae9386f5c438e8, title = {A Four-Valued Normative Intermediate Representation for ASP-Oriented Compliance Reasoning}, author = {Huanyu Yang and Yangfan Wu and Jianmin Ji}, year = {2026}, url = {https://arxiv.org/abs/2606.04619}, note = {Source identifier: 2606.04619} }