Soler Toscano, F.; Fernández, Ángel N. Abduction in Finite Models. CRHF 2019, 40.