Model checking vs. theorem proving: A manifesto (1991)

by J Y Halpern, M Y Vardi
Venue:Proc. International Conference on Principles of Knowledge Representation and Reasoning