Hubert Comon Florent Jacquemard Ground Reducibility is EXPTIME-Complete. 26-34 http://www.computer.org/proceedings/lics/7925/79250026abs.htm 1997 LICS db/conf/lics/lics97.html#ComonJ97