An efficient certifying algorithm for the Hamiltonian cycle problem on circular-arc graphs
scientific article; zbMATH DE number 5955893
scientific article