Rewriting logic as a logic of special relations

W. Marco Schorlemmer. Rewriting logic as a logic of special relations. Electronic Notes in Theoretical Computer Science, 15:196-217, 1998. [doi]

Abstract

Abstract is missing.