TY - RPRT TI - On the Boolean Network Theory of Datalog$^\neg$ AU - Van-Giang Trinh AU - Belaid Benhamou AU - Sylvain Soliman AU - François Fages PY - 2025 UR - https://arxiv.org/abs/2504.15417 ID - 2504.15417 ER -