Knor, M. and Niepel, Ľudovít 2012. Independence Number in Path Graphs. Computing and Informatics. 23, 2 (Feb. 2012), 179–187.