TY - RPRT TI - On the Applicability of Post's Lattice AU - Michael Thomas PY - 2012 UR - https://arxiv.org/abs/1007.2924 ID - 1007.2924 ER -