Ground reducibility is exptime-complete (0)

by H Comon, F Jacquemard
Venue:Information and Computation