tarfa: Tableaux and Resolution for Finite Abduction | Publicación