TY  - RPRT
TI  - Modular Action Language ALM
AU  - Daniela Inclezan
AU  - Michael Gelfond
PY  - 2015
DO  - 10.1017/s1471068415000095
UR  - https://arxiv.org/abs/1505.05022
ID  - 1505.05022
ER  -