@incollection{miller99nato,
  author = {Dale Miller},
  booktitle = {Computational Logic},
  title = {Sequent Calculus and the Specification of
                 Computation},
  publisher = {Springer},
  year = {1999},
  editor = {Ulrich Berger and Helmut Schwichtenberg},
  volume = {165},
  series = {Nato ASI Series},
  pages = {399--444}
}

{"_id":"TkeS2XwBZHbi3KRpY","bibbaseid":"miller-sequentcalculusandthespecificationofcomputation-1999","author_short":["Miller, D."],"bibdata":{"bibtype":"incollection","type":"incollection","author":[{"firstnames":["Dale"],"propositions":[],"lastnames":["Miller"],"suffixes":[]}],"booktitle":"Computational Logic","title":"Sequent Calculus and the Specification of Computation","publisher":"Springer","year":"1999","editor":[{"firstnames":["Ulrich"],"propositions":[],"lastnames":["Berger"],"suffixes":[]},{"firstnames":["Helmut"],"propositions":[],"lastnames":["Schwichtenberg"],"suffixes":[]}],"volume":"165","series":"Nato ASI Series","pages":"399–444","bibtex":"@incollection{miller99nato,\n author = {Dale Miller},\n booktitle = {Computational Logic},\n title = {Sequent Calculus and the Specification of\n Computation},\n publisher = {Springer},\n year = {1999},\n editor = {Ulrich Berger and Helmut Schwichtenberg},\n volume = {165},\n series = {Nato ASI Series},\n pages = {399--444}\n}\n\n","author_short":["Miller, D."],"editor_short":["Berger, U.","Schwichtenberg, H."],"key":"miller99nato","id":"miller99nato","bibbaseid":"miller-sequentcalculusandthespecificationofcomputation-1999","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"incollection","biburl":"http://www.lix.polytechnique.fr/Labo/Dale.Miller/miller.bib","dataSources":["7ofoNR5w3CNhd7cG5"],"keywords":[],"search_terms":["sequent","calculus","specification","computation","miller"],"title":"Sequent Calculus and the Specification of Computation","year":1999}