DMCA

Depth boundedness in multiset rewriting systems with name binding (2010)

by Fernando Rosa-Velardo