@misc{indiciae02d7333e640e, title = {On the Trap Space Semantics of Normal Logic Programs}, author = {Van-Giang Trinh and Sylvain Soliman and François Fages and Belaid Benhamou}, year = {2026}, doi = {10.4204/eptcs.439.21}, url = {https://arxiv.org/abs/2601.03842}, note = {Source identifier: 2601.03842} }