Radu Mateescu Emilie Oudot Bisimulator 2.0: An On-the-Fly Equivalence Checker based on Boolean Equation Systems. 73-74 2008 MEMOCODE http://dx.doi.org/10.1109/MEMCOD.2008.4547690 conf/memocode/2008 db/conf/memocode/memocode2008.html#MateescuO08