Discovering Needed Reductions Using Type Theory, TACS (1994)

by P Gardner