Reciprocal influences between logic programming and proof theory. Miller, D. Philosophy & Technology, 34(1):75–104, Springer, March, 2021.
doi  bibtex   
@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}
}

Downloads: 0