The complexity of equivariant unification (2004)

by James Cheney
Venue:In Proc. 31st Int’l Colloquium on Automata, Languages and Programming (ICALP 2004