A Decidable Class of Nested Iterated Schemata (extended version)

Open in new window