Dummy Elimination: making termination easier (1995)

Cached

Download Links

by M. C. F. Ferreira , H. Zantema
Citations:26 - 10 self