A Survey of the Proof-Theoretic Foundations of Logic Programming. Miller, D. Theory and Practice of Logic Programming, 2021. To appear.
bibtex   
@article{miller21tplp,
  author = {Dale Miller},
  title = {A Survey of the Proof-Theoretic Foundations of Logic
                 Programming},
  journal = tplp,
  year = {2021},
  note = {To appear.}
}

Downloads: 0