Theory and Practice of Minimal Modular Higher-Order E-Unification.

Olaf Mller, Franz Weber

Browse the full CADE paper archive.