Higher-Order Uni Revisited: Complete Sets of Transformations (1989)

by W Snyder, J Gallier
Venue:Journal of Symbolic Computation