Abduction through semantic tableaux versus abduction through goal-directed proofs | Publicación