On model-checking for fragments of -calculus (1993)

by E Emerson, C Jutla, A Sistla
Venue:In Costas Courcoubetis, editor, Computer Aided Verification