TY  - RPRT
TI  - Model Checking Lower Bounds for Simple Graphs
AU  - Michael Lampis
PY  - 2014
DO  - 10.2168/lmcs-10(1:18)2014
UR  - https://arxiv.org/abs/1302.4266
ID  - 1302.4266
ER  -