Soler Toscano, F.; Fernández, Ángel N. Abducción En Modelos Finitos. CRHF 2019, 40.