Computing the Collection of Good Models for Rule Lists. - Kota Mata; Kentaro Kanamori; Hiroki Arimura (CoRR, 2022)