Tableaux for structural abduction. - Ángel Nepomuceno-Fernández; Francisco J. Salguero-Lamillar; David Fernández-Duque (Log. J. IGPL, 2012)