Overlap closures do not suffice for termination of general term rewriting systems
From MaRDI portal
Publication:922713
DOI10.1016/0020-0190(91)90243-BzbMath0711.68067MaRDI QIDQ922713
Publication date: 1991
Published in: Information Processing Letters (Search for Journal in Brave)
Related Items
Cites Work