A Partial Order Approach to Branching Time Logic Model Checking.

Rob Gerth Ruurd Kuiper Doron Peled Wojciech Penczek A Partial Order Approach to Branching Time Logic Model Checking. 132-152 1999 150 Inf. Comput. 2 db/journals/iandc/iandc150.html#GerthKPP99 http://dx.doi.org/10.1006/inco.1998.2778