E-Unification for Second-Order Abstract Syntax.

Nikolai Kudasov

Browse the full FSCD paper archive.