@proceedings {AFJV09a, title = {Defining Datalog in Rewriting Logic}, journal = {Proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR{\textquoteright}09)}, volume = {6037}, year = {2010}, pages = {188{\textendash}204}, publisher = {Springer-Verlag}, author = {Maria Alpuente and Marco Antonio Feli{\'u} and Joubert, C. and Alicia Villanueva}, editor = {Schreye, D. de} }