On ground-confluence of term rewriting systems
Deepak Kapur, Paliath Narendran, Friedrich OttoVolume:
86
Year:
1990
Language:
english
Pages:
18
DOI:
10.1016/0890-5401(90)90023-b
File:
PDF, 983 KB
english, 1990