Algebraic combinatorics in bounded induction | Publicación