International Workshop on Rewriting Logic and its Applications (workshop)

User Publication Person Organisation Collection