Benoit Larose Cynthia Loten László Zádori A polynomial-time algorithm for near-unanimity graphs. 177-191 2005 55 J. Algorithms 2 http://dx.doi.org/10.1016/j.jalgor.2004.04.011 db/journals/jal/jal55.html#LaroseLZ05