Confluence of Almost Parallel-Closed Generalized Term Rewriting Systems.

Salvador Lucas

Browse the full CADE paper archive.