Canonization for Lk-equivalence is Hard
1998 ◽
pp. 220-238