The HOM Problem is EXPTIME-Complete.

Carles Creus, Adri Gascn, Guillem Godoy, Lander Ramos

Browse the full LICS paper archive.