DMCA

Confluence of Non-Left-Linear TRSs via Relative Termination?

Cached

Download Links

by Dominik Klein , Nao Hirokawa
Citations:1 - 0 self