K. Subramani Hong-Jian Lai Xiaofeng Gu Random walks for selected boolean implication and equivalence problems. 155-168 2009 46 Acta Inf. 2 http://dx.doi.org/10.1007/s00236-009-0089-4 db/journals/acta/acta46.html#SubramaniLG09