Laurent Henocque Mathias Kleiner Nicolas Prcovic Advances in Polytime Isomorph Elimination for Configuration. 301-313 2005 conf/cp/2005 CP http://dx.doi.org/10.1007/11564751_24 db/conf/cp/cp2005.html#HenocqueKP05