@COMMENT This file was generated by bib2html.pl version 0.94
@COMMENT written by Patrick Riley
@Unpublished{nigam.unp,
author = {Vivek Nigam and Giselle Reis and Leonardo Lima},
title = {Automated Checking of Proof Transformations},
year = "Draft",
bib2html_pubtype = {Submitted},
bib2html_rescat = {Logical Frameworks},
bib2html_dl_pdf = "/docs/permutations_jar.pdf"
}