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

by J Y Halpern, M Y Vardi
Venue:Proc. 2nd Int. Conf. on Principles of Knowledge Representation and Reasoning, KR’91