Masao Iri A Proof of the Polynomiality of the Iri-Imai Method. 269-290 1993 9 J. Complexity 2 http://dx.doi.org/10.1006/jcom.1993.1018 db/journals/jc/jc9.html#Iri93