Gilles Audemard Belaid Benhamou Laurent Henocque Predicting and Detecting Symmetries in FOL Finite Model Search. 177-212 2006 36 J. Autom. Reasoning 3 http://dx.doi.org/10.1007/s10817-006-9040-3 db/journals/jar/jar36.html#AudemardBH06