Kavita Ravi Roderick Bloem Fabio Somenzi A Comparative Study of Symbolic Algorithms for the Computation of Fair Cycles. 143-160 http://link.springer.de/link/service/series/0558/bibs/1954/19540143.htm 2000 conf/fmcad/2000 FMCAD db/conf/fmcad/fmcad2000.html#RaviBS00