Improving the Efficiency of Higher Order Unification.

Jared L. Darlington

Browse the full IJCAI paper archive.