Decidability and undecidability results for propositional schemata (0)

by V Aravantinos, R Caferra, N Peltier
Venue:Journal of Artificial Intelligence Research