journal article
comparability graph
On-line algorithm
pseudo-transitive gra...
reorientation
reverse mathematics