@misc{indiciae1f28abe9778d, title = {Deciding Equations in the Time Warp Algebra}, author = {Sam van Gool and Adrien Guatto and George Metcalfe and Simon Santschi}, year = {2024}, doi = {10.46298/lmcs-20(1:8)2024}, url = {https://arxiv.org/abs/2302.04668}, note = {Source identifier: 2302.04668} }