Kyungmin Bae

• Rewriting Logic and Its Applications