@Inproceedings{EPTCS144.2,
  author    = {Quispe-Cruz, Marcela and Haeusler, Edward Hermann and Gordeev, Lew},
  year      = {2014},
  title     = {Proof-graphs for Minimal Implicational Logic},
  editor    = {Ayala-Rinc\'on, Mauricio and Bonelli, Eduardo and Mackie, Ian},
  booktitle = {{\rm Proceedings 9th International Workshop on}
               Developments in Computational Models,
               {\rm Buenos Aires, Argentina, 26 August 2013}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {144},
  publisher = {Open Publishing Association},
  pages     = {16-29},
  doi       = {10.4204/EPTCS.144.2},
}