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

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