TY  - RPRT
TI  - Automated Reasoning over Deontic Action Logics with Finite Vocabularies
AU  - Pablo F. Castro
AU  - Thomas S. E. Maibaum
PY  - 2014
DO  - 10.4204/eptcs.139.2
UR  - https://arxiv.org/abs/1401.0969
ID  - 1401.0969
ER  -