Uni under a mixed pre (1992)

by Dale Miller
Venue:Journal of Symbolic Computation