TY - RPRT TI - On guarded extensions of MMSNP AU - Alexey Barsukov AU - Florent R. Madelaine PY - 2025 DO - 10.46298/lmcs-21(4:15)2025 UR - https://arxiv.org/abs/2305.04234 ID - 2305.04234 ER -