Higher order unification 30 years later. 15th international workshop on higher order logic theorem proving and its applications (IWHOLTP’02). LNCS (2002)

by G Huet