TY  - RPRT
TI  - POTL: A First-Order Complete Temporal Logic for Operator Precedence Languages
AU  - Michele Chiari
AU  - Dino Mandrioli
AU  - Matteo Pradella
PY  - 2020
UR  - https://arxiv.org/abs/1910.09327
ID  - 1910.09327
ER  -