@inproceedings{BMM+09,
  author    = {O. Beyersdorff and
               A. Meier and
               M. Mundhenk and
               T. Schneider and
               M. Thomas and
               H. Vollmer},
  title     = {Model Checking {CTL} is Almost Always Inherently Sequential},
  booktitle = {Proceedings 16th Int. Symp. on Temporal Representation and Reasoning (TIME)},
  year      = 2009,
  ee        = {http://www.cs.manchester.ac.uk/%7Eschneidt/publ/bmm+09_time.pdf}
}