A larger decidable semiunification problem.

Brad Lushman, Gordon V. Cormack

Browse the full PPDP paper archive.