P. Felli, M. Montali, F. Patrizi, and S. Winkler, “Monitoring Arithmetic Temporal Properties on Finite Traces”, AAAI, vol. 37, no. 5, pp. 6346-6354, Jun. 2023.