On the geometry of intuitionistic S4 proofs. Goubault-Larrecq, Jean; Goubault, Éric — 2003 Homology, Homotopy and Applications
Karp-Miller trees for a branching extension of VASS. Verma, Kumar Neeraj; Goubault-Larrecq, Jean — 2005 Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]