Restricted Combinatory Unification.

Ahmed Bhayat, Giles Reger

Browse the full CADE paper archive.