@misc{indiciae148a4cb659c2,
  title = {A First Class Boolean Sort in First-Order Theorem Proving and TPTP},
  author = {Evgenii Kotelnikov and Laura Kovács and Andrei Voronkov},
  year = {2015},
  doi = {10.1007/978-3-319-20615-8\_5},
  url = {https://arxiv.org/abs/1505.01682},
  note = {Source identifier: 1505.01682}
}