DMCA

Conditional Narrowing Modulo in Rewriting Logic and Maude?

by Luis Aguirre , Miguel Palomino , Isabel Pita