Algebraic semantics and complexity of term rewriting systems [chapter]

Tohru Naoi, Yasuyoshi Inagaki
1989 Lecture Notes in Computer Science  
doi:10.1007/3-540-51081-8_116 fatcat:h6mrdpx6hjem5fld2pridooqdq