%0 Journal Article %1 journals/corr/abs-2109-01483 %A Miller, Dale %D 2021 %J CoRR %K dblp %T A Survey of the Proof-Theoretic Foundations of Logic Programming. %U http://dblp.uni-trier.de/db/journals/corr/corr2109.html#abs-2109-01483 %V abs/2109.01483

@article{journals/corr/abs-2109-01483, added-at = {2021-09-20T00:00:00.000+0200}, author = {Miller, Dale}, biburl = {https://www.bibsonomy.org/bibtex/2e476a4be9722e379f6c7719a9f347bc4/dblp}, ee = {https://arxiv.org/abs/2109.01483}, interhash = {d2fc0e1a2591db7fa59b4020520b4589}, intrahash = {e476a4be9722e379f6c7719a9f347bc4}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T22:18:48.000+0200}, title = {A Survey of the Proof-Theoretic Foundations of Logic Programming.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2109.html#abs-2109-01483}, volume = {abs/2109.01483}, year = 2021 }