Local model checking in the modal mu-calculus (1991)

by C Stirling, D Walker
Venue:In Theoretical Computer Science