Implementing Tabled Hypothetical Datalog | Publicación