Madelaine, Florent R., Martin, Barnaby D., "On the Complexity of the Model Checking Problem", SIAM Journal on Computing, 2018