Tableaux for structural abduction | Publicación