TY  - RPRT
TI  - The model checking problem for intuitionistic propositional logic with one variable is AC1-complete
AU  - Martin Mundhenk
AU  - Felix Weiss
PY  - 2011
UR  - https://arxiv.org/abs/1012.3828
ID  - 1012.3828
ER  -