缩写	全称	中文释义
WRLA	Workshop on Rewriting Logic and its Applications	重写逻辑及其应用研讨会