TY  - RPRT
TI  - Intuitionistic implication makes model checking hard
AU  - Martin Mundhenk
AU  - Felix Weiss
PY  - 2012
DO  - 10.2168/lmcs-8(2:3)2012
UR  - https://arxiv.org/abs/1107.1963
ID  - 1107.1963
ER  -