{"_id":"RZmPyKksiHvkKYxbE","bibbaseid":"miller-asurveyoftheprooftheoreticfoundationsoflogicprogramming-2021","author_short":["Miller, D."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Dale"],"propositions":[],"lastnames":["Miller"],"suffixes":[]}],"title":"A Survey of the Proof-Theoretic Foundations of Logic Programming","journal":"Theory and Practice of Logic Programming","year":"2021","note":"To appear.","bibtex":"@article{miller21tplp,\n author = {Dale Miller},\n title = {A Survey of the Proof-Theoretic Foundations of Logic\n Programming},\n journal = tplp,\n year = {2021},\n note = {To appear.}\n}\n\n","author_short":["Miller, D."],"key":"miller21tplp","id":"miller21tplp","bibbaseid":"miller-asurveyoftheprooftheoreticfoundationsoflogicprogramming-2021","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://www.lix.polytechnique.fr/Labo/Dale.Miller/miller.bib","dataSources":["7ofoNR5w3CNhd7cG5"],"keywords":[],"search_terms":["survey","proof","theoretic","foundations","logic","programming","miller"],"title":"A Survey of the Proof-Theoretic Foundations of Logic Programming","year":2021}