Michael Lampis Model Checking Lower Bounds for Simple Graphs https://doi.org/10.2168/LMCS-10(1:18)2014 http://arxiv.org/abs/1302.4266 2014 Log. Methods Comput. Sci. 10 1 db/journals/lmcs/lmcs10.html#abs-1302-4266
