Explanatory machine learning for sequential human teaching. - Ai, Lun; Langer, Johannes; Muggleton, Stephen H.; Schmid, Ute (Machine Learning, 2023)