TY  - RPRT
TI  - Linear Temporal Logic and Propositional Schemata, Back and Forth (extended version)
AU  - Vincent Aravantinos
AU  - Ricardo Caferra
AU  - Nicolas Peltier
PY  - 2011
UR  - https://arxiv.org/abs/1102.2174
ID  - 1102.2174
ER  -