Decision trees with short explainable rules. - Victor Feitosa Souza; Ferdinando Cicalese; Eduardo Sany Laber; Marco Molinaro 001 (Theor. Comput. Sci., 2025)