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]
@inproceedings{AlpuenteFJV09-0,
title = {Defining Datalog in Rewriting Logic},
author = {María Alpuente and Marco A. Feliú and Christophe Joubert and Alicia Villanueva},
year = {2009},
doi = {10.1007/978-3-642-12592-8_14},
url = {http://dx.doi.org/10.1007/978-3-642-12592-8_14},
tags = {graph-rewriting, logic, rewriting logic, rewriting, Datalog},
researchr = {https://researchr.org/publication/AlpuenteFJV09-0},
cites = {0},
citedby = {0},
pages = {188-204},
booktitle = {Logic-Based Program Synthesis and Transformation, 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers},
editor = {Danny De Schreye},
volume = {6037},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-12591-1},
}