Ian P. Gent Tom Kelsey Steve Linton Colva M. Roney-Dougal Symmetry and Consistency. 271-285 2005 conf/cp/2005 CP http://dx.doi.org/10.1007/11564751_22 db/conf/cp/cp2005.html#GentKLR05