The RTA list of open problems – open problems in rewriting.
RTA列表的开放问题 - 重写逻辑中的开放问题。