TY  - RPRT
TI  - A Decidable Class of Nested Iterated Schemata (extended version)
AU  - Vincent Aravantinos
AU  - Ricardo Caferra
AU  - Nicolas Peltier
PY  - 2010
UR  - https://arxiv.org/abs/1001.4251
ID  - 1001.4251
ER  -