@misc{indiciaeb8dff6e99bbd,
  title = {Mechanizing Principia Logico-Metaphysica in Functional Type Theory},
  author = {Daniel Kirchner and Christoph Benzmüller and Edward N. Zalta},
  year = {2019},
  doi = {10.1017/s1755020319000297},
  url = {https://arxiv.org/abs/1711.06542},
  note = {Source identifier: 1711.06542}
}