Efficient model checking via the equational µ-calculus (1996)

by G Bhat, R Cleaveland
Venue:In Logic in Computer Science (LICS ’96