@article{mcdowell00tcs,
  author = {Raymond McDowell and Dale Miller},
  title = {Cut-elimination for a logic with definitions and
                 induction},
  journal = {Theoretical Computer Science},
  volume = {232},
  pages = {91--119},
  year = {2000},
  doi = {10.1016/S0304-3975(99)00171-1}
}

{"_id":"4Do3f6aDQD8oaFFXP","bibbaseid":"mcdowell-miller-cuteliminationforalogicwithdefinitionsandinduction-2000","author_short":["McDowell, R.","Miller, D."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Raymond"],"propositions":[],"lastnames":["McDowell"],"suffixes":[]},{"firstnames":["Dale"],"propositions":[],"lastnames":["Miller"],"suffixes":[]}],"title":"Cut-elimination for a logic with definitions and induction","journal":"Theoretical Computer Science","volume":"232","pages":"91–119","year":"2000","doi":"10.1016/S0304-3975(99)00171-1","bibtex":"@article{mcdowell00tcs,\n author = {Raymond McDowell and Dale Miller},\n title = {Cut-elimination for a logic with definitions and\n induction},\n journal = {Theoretical Computer Science},\n volume = {232},\n pages = {91--119},\n year = {2000},\n doi = {10.1016/S0304-3975(99)00171-1}\n}\n\n","author_short":["McDowell, R.","Miller, D."],"key":"mcdowell00tcs","id":"mcdowell00tcs","bibbaseid":"mcdowell-miller-cuteliminationforalogicwithdefinitionsandinduction-2000","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://www.lix.polytechnique.fr/Labo/Dale.Miller/miller.bib","dataSources":["7ofoNR5w3CNhd7cG5"],"keywords":[],"search_terms":["cut","elimination","logic","definitions","induction","mcdowell","miller"],"title":"Cut-elimination for a logic with definitions and induction","year":2000}