M. Knor and Ľudovít Niepel, “Independence Number in Path Graphs”, Comput. Inform., vol. 23, no. 2, pp. 179–187, Feb. 2012.