Certifying algorithms for recognizing interval graphs and permutation graphs
Testing for the consecutive ones property, interval graphs, and graph planarity using PQ-tree algorithms