Dorel Lucanu

• Rewriting Logic and Its Applications