Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier. Decidability and Undecidability Results for Propositional Schemata. J. Artif. Intell. Res. (JAIR), 40:599-656, 2011. [doi]
@article{AravantinosCP11,
title = {Decidability and Undecidability Results for Propositional Schemata},
author = {Vincent Aravantinos and Ricardo Caferra and Nicolas Peltier},
year = {2011},
doi = {10.1613/jair.3351},
url = {http://dx.doi.org/10.1613/jair.3351},
researchr = {https://researchr.org/publication/AravantinosCP11},
cites = {0},
citedby = {0},
journal = {J. Artif. Intell. Res. (JAIR)},
volume = {40},
pages = {599-656},
}