Roberto Di Cosmo and Stefano Guerrini. Strong normalization of proof nets modulo structural congruences. In Rewriting Techniques and Applications, 1999.

[ bib | DOI | Local copy ] This file was generated by bibtex2html 1.99.