Local model checking in the modal -calculus (1991)

by C Stirling, D Walker
Venue:Theoretical Computer Science