F. Soler Toscano and Ángel N. Fernández, “Abduction in Finite Models”, CRHF, vol. 40, no. 118, Jan. 2019.