@COMMENT This file was generated by bib2html.pl <https://sourceforge.net/projects/bib2html/> version 0.94
@COMMENT written by Patrick Riley <http://sourceforge.net/users/patstg/>
@article{nigam15jlc,
   author    = {Vivek Nigam and
               Elaine Pimentel and
               Giselle Reis},
  title     = {An extended framework for specifying and reasoning about proof systems},
  journal   = {J. Log. Comput.},
  volume    = {26},
  number    = {2},
  pages     = {539--576},
  year      = {2016},
  url       = {http://dx.doi.org/10.1093/logcom/exu029},
  doi       = {10.1093/logcom/exu029},  
   note      = {Special issue in  honor of Roy Dyckhoff.},
   bib2html_pubtype = {Journal},
   bib2html_rescat = {Logical Frameworks},
   wwwnote = "The on-line tool, called TATU, implementing the techniques described in the paper can be found <a href=http://www.logic.at/people/giselle/tatu/>here</a>",
   bib2html_dl_pdf = "/docs/modal-sellf.pdf"
 }