Linear Temporal Logic and Propositional Schemata, Back and Forth (extended version) - Aravantinos, Vincent; Caferra, Ricardo; Peltier, Nicolas (CoRR, 2011)