Filippo Focacci Michela Milano Global Cut Framework for Removing Symmetries. 77-92 2001 conf/cp/2001 CP http://link.springer.de/link/service/series/0558/bibs/2239/22390077.htm db/conf/cp/cp2001.html#FocacciM01