@inproceedings{AFJV09d,
title = {{Implementing Datalog in Maude}},
author = {Alpuente, M. and Feli\'u, M.A. and Joubert, C. and Villanueva, A.},
booktitle = {I Taller de Programación Funcional (TPF'09)},
pages = {to appear},
address = {San Sebasti\'an, Spain},
year = 2009
}