Generalized Sufficient Conditions for Modular Termination of Rewriting (1992)

by Bernhard Gramlich
Venue:IN ENGINEERING, COMMUNICATION AND COMPUTING
Citations:49 - 7 self