@inproceedings{AFJV09b,
title = {{Defining Datalog in Rewriting Logic}},
author = {Alpuente, M. and Feli\'u, M.A. and Joubert, C. and Villanueva, A.},
booktitle = {19th International Conference on Logic-based Program Synthesis and Transformation (LOPSTR'09)},
pages = {to appear},
address = {Coimbra, Portugal},
year = 2009
}