@article{miller21pt,
  author = {Dale Miller},
  title = {Reciprocal influences between logic programming and
                 proof theory},
  journal = {Philosophy \& Technology},
  volume = {34},
  number = {1},
  pages = {75--104},
  month = mar,
  year = {2021},
  doi = {10.1007/s13347-019-00370-x},
  publisher = {Springer}
}

{"_id":"XBJ2q2eircp9up8XL","bibbaseid":"miller-reciprocalinfluencesbetweenlogicprogrammingandprooftheory-2021","author_short":["Miller, D."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Dale"],"propositions":[],"lastnames":["Miller"],"suffixes":[]}],"title":"Reciprocal influences between logic programming and proof theory","journal":"Philosophy & Technology","volume":"34","number":"1","pages":"75–104","month":"March","year":"2021","doi":"10.1007/s13347-019-00370-x","publisher":"Springer","bibtex":"@article{miller21pt,\n author = {Dale Miller},\n title = {Reciprocal influences between logic programming and\n proof theory},\n journal = {Philosophy \\& Technology},\n volume = {34},\n number = {1},\n pages = {75--104},\n month = mar,\n year = {2021},\n doi = {10.1007/s13347-019-00370-x},\n publisher = {Springer}\n}\n\n","author_short":["Miller, D."],"key":"miller21pt","id":"miller21pt","bibbaseid":"miller-reciprocalinfluencesbetweenlogicprogrammingandprooftheory-2021","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://www.lix.polytechnique.fr/Labo/Dale.Miller/miller.bib","dataSources":["7ofoNR5w3CNhd7cG5"],"keywords":[],"search_terms":["reciprocal","influences","between","logic","programming","proof","theory","miller"],"title":"Reciprocal influences between logic programming and proof theory","year":2021}