@incollection{DCE2008,
author = {Dal Lago, Ugo and Martini, Simone},
editor = {Corsi, Giovanna and Lupacchini, Rossella},
booktitle = {Deduction, Computation, Experiment},
title = {Proofs as Efficient Programs},
publisher = {Springer},
year = {2008},
pages = {141-157}
}
This file was generated by bibtex2html 1.94.