M. Alpuente, Feliú, M. A., Joubert, C., and Villanueva, A.,
“Defining Datalog in Rewriting Logic”,
Proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'09), vol. 6037. Springer-Verlag, pp. 188–204, 2010.