TY  - RPRT
TI  - A First-Order Complete Temporal Logic for Structured Context-Free Languages
AU  - Michele Chiari
AU  - Dino Mandrioli
AU  - Matteo Pradella
PY  - 2022
DO  - 10.46298/lmcs-18(3:11)2022
UR  - https://arxiv.org/abs/2105.10740
ID  - 2105.10740
ER  -