Esparza, J., & Rubio, R. (2024). Validity of contextual formulas [Conference paper]. LIPIcs, 311, 39660–40800. https://doi.org/10.4230/LIPIcs.CONCUR.2024.24