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

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