"Certifying coloring algorithms for graphs without long induced paths."

Marcin Kaminski, Anna Pstrucha (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics