A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic | Publicación