DMCA

Termination and Confluence Properties of Structured Rewrite Systems (1996)

by Bernhard Gramlich
Citations:26 - 2 self