Bhat G, Cleaveland R.  1996.  Efficient model checking via the equational ?-calculus. , Eleventh Annual IEEE Symposium on Logic in Computer Science, 1996. LICS '96. Proceedings. :304-312.