TY  - RPRT
TI  - Implicational Relevance Logic is 2-EXPTIME-Complete
AU  - Sylvain Schmitz
PY  - 2022
DO  - 10.1007/978-3-319-08918-8_27 10.1017/jsl.2015.7
UR  - https://arxiv.org/abs/1402.0705
ID  - 1402.0705
ER  -