@article{Cervesato2018, author = "Iliano Cervesato", title = "{Proof-Theoretic Foundation of Compilation in Logic Programming Languages}", year = "2018", month = "6", url = "https://kilthub.cmu.edu/articles/journal_contribution/Proof-Theoretic_Foundation_of_Compilation_in_Logic_Programming_Languages/6608696", doi = "10.1184/R1/6608696.v1" }