TY - RPRT TI - About the Expressive Power and Complexity of Order-Invariance with Two Variables AU - Bartosz Bednarczyk AU - Julien Grange PY - 2025 DO - 10.46298/lmcs-21(1:30)2025 UR - https://arxiv.org/abs/2304.08410 ID - 2304.08410 ER -