Unification of schemes of quantified terms, in (1990)

by R Paterson
Venue:Proc. of UNIF