Explanatory machine learning for sequential human teaching. - Ai, L; Langer, J; Muggleton, SH; Schmid, U (Mach. Learn., 2023)