TY - RPRT TI - Graphical Conditions for the Existence, Unicity and Number of Regular Models AU - Van-Giang Trinh AU - Belaid Benhamou AU - Sylvain Soliman AU - François Fages PY - 2025 DO - 10.4204/eptcs.416.16 UR - https://arxiv.org/abs/2502.09220 ID - 2502.09220 ER -