Bounded Higher-order Unification using Regular Terms.

Tomer Libal

Browse the full CADE paper archive.