On Some Variants of Second-Order Unification
Year: 
2004
Advisor: 
Jordi Levy