1. NP-completeness of the Hamiltonian cycle problem for bipartite graphs;Akiyama;J. Inform. Process,1980
2. A framework for the verification of certifying computations;Alkassar;J. Autom. Reason.,2014
3. Shortest cycle through specified elements;Björklund,2012
4. Testing for the consecutive ones property, interval graphs, and graph planarity using pq-tree algorithms;Booth;J. Comput. Syst. Sci.,1976
5. On the restriction of some np-complete graph problems to permutation graphs;Brandstädt,1985