Finite Two-Dimensional Proof Systems for Non-finitely Axiomatizable Logics.

Vitor Greati, Joo Marcos

Browse the full CADE paper archive.