Abduction via C-tableaux and δ-resolution | Publicación