BibTeX record conf/ppdp/Guenot11

download as .bib file

@inproceedings{DBLP:conf/ppdp/Guenot11,
  author    = {Nicolas Guenot},
  title     = {Nested proof search as reduction in the Lambda-calculus},
  booktitle = {{PPDP}},
  pages     = {183--194},
  publisher = {{ACM}},
  year      = {2011}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics