A structural analysis of modular termination of term rewriting systems (1991)

by Bernhard Gramlich
Citations:9 - 4 self