A certifying and dynamic algorithm for the recognition of proper circular-arc graphs
scientific article