Martin Grohe Canonization for L<sup>k</sup>-equivalence is Hard. 220-238 1997 conf/csl/1997 CSL db/conf/csl/csl97.html#Grohe97 http://dx.doi.org/10.1007/BFb0028017