@misc{indiciae66ad28b2f663,
  title = {Implication Algebras and Implication Semigroups of Binary Relations},
  author = {Andrew Lewis-Smith Jaš Šemrl},
  year = {2023},
  url = {https://arxiv.org/abs/2301.02266},
  note = {Source identifier: 2301.02266}
}