TY  - RPRT
TI  - Action Logic is Undecidable
AU  - Stepan Kuznetsov
PY  - 2019
UR  - https://arxiv.org/abs/1912.11273
ID  - 1912.11273
ER  -