Knor, Martin, and Ľudovít Niepel. “Independence Number in Path Graphs”. COMPUTING AND INFORMATICS, vol. 23, no. 2, Feb. 2012, pp. 179-87, https://www.cai.sk/ojs/index.php/cai/article/view/414.