“弱Church-Rosser抽象约简系统的特征……”
贝内代托·因特里吉拉 , 伊万诺·萨尔沃 , 斯特凡诺·索吉 :
非Church-Roser的弱Church-Roser抽象约简系统的一个刻画。 Inf.计算。 171 ( 2 ) : 137-155 ( 2001 )
由于不可用的引用数据,下面的列表可能是不完整的, 引用字符串可能未成功映射到dblp中列出的项,并且 我们没有针对这些列表中给出的所有项目的完整和精心策划的元数据。