Proof-graphs for minimal implicational logic (2014)

by Marcela Quispe-Cruz, Edward Hermann Haeusler, Lew Gordeev
Venue:Proceedings 9th International Workshop on Developments in Computational Models, Buenos Aires, Argentina, 26 August 2013, volume 144 of Electronic Proceedings in Theoretical Computer Science