Using Generating Functions to Prove Additivity of Gene-Neighborhood Based Phylogenetics - Extended Abstract. - Guy Katriel; Udi Mahanaymi; Christoph Koutschan; Doron Zeilberger; Mike A. Steel; Sagi Snir (ISBRA, 2023)