A Higher-Order Implementation of Rewriting. Science of Com u er Progra ming (1983)

by L Paulson