Defining Datalog in Rewriting Logic | Publicación