TY  - RPRT
TI  - Automated Reasoning in Deontic Logic
AU  - Ulrich Furbach
AU  - Claudia Schon
AU  - Frieder Stolzenburg
PY  - 2014
DO  - 10.1007/978-3-319-13365-2_6
UR  - https://arxiv.org/abs/1411.4823
ID  - 1411.4823
ER  -