Infrared: a declarative tree decomposition-powered framework for bioinformatics - Yao, Hua-Ting; Marchand, Bertrand; Berkemer, Sarah J.; Ponty, Yann; Will, Sebastian (Algorithms for Molecular Biology, 2023)