@misc{indiciaed662908834a6,
  title = {Normative Conditional Reasoning as a Fragment of HOL},
  author = {Xavier Parent and Christoph Benzmüller},
  year = {2024},
  url = {https://arxiv.org/abs/2308.10686},
  note = {Source identifier: 2308.10686}
}