TY  - RPRT
TI  - On the Trap Space Semantics of Normal Logic Programs
AU  - Van-Giang Trinh
AU  - Sylvain Soliman
AU  - François Fages
AU  - Belaid Benhamou
PY  - 2026
DO  - 10.4204/eptcs.439.21
UR  - https://arxiv.org/abs/2601.03842
ID  - 2601.03842
ER  -