Action Control by Term Rewriting

Steve Barker, Clara Bertolissi, Maribel Fernández. Action Control by Term Rewriting. Electronic Notes in Theoretical Computer Science, 234:19-36, 2009. [doi]

Abstract

Abstract is missing.