TY  - RPRT
TI  - Normative Conditional Reasoning as a Fragment of HOL
AU  - Xavier Parent
AU  - Christoph Benzmüller
PY  - 2024
UR  - https://arxiv.org/abs/2308.10686
ID  - 2308.10686
ER  -