Algorithms for Markov Binomial Chains. - Alejandro Alarcón Gonzalez; Niel Hens; Tim Leys; Guillermo A. Pérez 001 (Log. Methods Comput. Sci., 2025)