Preservation of Termination for Explicit Substitution (1997)

Cached

Download Links

by Carolus Johannes Bloo
Citations:46 - 1 self