12th International Workshop on Rewriting Logic and its Applications rusu 2017/02/28 2017/02/28 Continue reading