TY  - RPRT
TI  - Automated Reasoning in Normative Detachment Structures with Ideal Conditions
AU  - Tomer Libal
AU  - Matteo Pascucci
PY  - 2018
UR  - https://arxiv.org/abs/1810.09993
ID  - 1810.09993
ER  -