Knor, Martin, and Ľudovít Niepel. “Independence Number in Path Graphs”. Computing and Informatics, vol. 23, no. 2, Feb. 2012, pp. 179-87, http://147.213.75.17/ojs/index.php/cai/article/view/414.