Defining Datalog in Rewriting Logic.

Mara Alpuente, Marco A. Feli, Christophe Joubert, Alicia Villanueva

Browse the full LOPSTR paper archive.