Peter Avery An Algorithmic Proof that Semiorders are Representable. 144-147 1992 13 J. Algorithms 1 db/journals/jal/jal13.html#Avery92