ABALearn: An Automated Logic-Based Learning System for ABA Frameworks. - Cristina Tirsi; Maurizio Proietti; Francesca Toni (AI*IA, 2023)