Abducción en modelos finitos | Publicación