Journal article
Automated Reasoning over Deontic Action Logics with Finite Vocabularies
Authors
Castro PF; Maibaum TSE
Journal
Electronic Proceedings in Theoretical Computer Science, Vol. 139, , pp. 16–30
Publisher
Open Publishing Association
DOI
10.4204/eptcs.139.2
ISSN
2075-2180