Linear second-order unification (1996)

by Jordi Levy
Venue:In RTA