Colva M. Roney-Dougal Ian P. Gent Tom Kelsey Steve Linton Tractable Symmetry Breaking Using Restricted Search Trees. 211-215 2004 conf/ecai/2004 ECAI db/conf/ecai/ecai2004.html#Roney-DougalGKL04