Higher-Order Unification as a Theorem Proving Procedure.

Masami Hagiya

Browse the full ICLP paper archive.