Login / Signup

Defining Datalog in Rewriting Logic.

María AlpuenteMarco A. FeliúChristophe JoubertAlicia Villanueva
Published in: LOPSTR (2009)
Keyphrases