María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva. Defining Datalog in Rewriting Logic. In Danny De Schreye, editor, Logic-Based Program Synthesis and Transformation, 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers. Volume 6037 of Lecture Notes in Computer Science, pages 188-204, Springer, 2009. [doi]
Abstract is missing.