Certifying algorithms for recognizing proper circular-arc graphs and unit circular-arc graphs

From MaRDI portal