Radu Iosif Symmetry Reduction Criteria for Software Model Checking. 22-41 2002 conf/spin/2002 SPIN http://link.springer.de/link/service/series/0558/bibs/2318/23180022.htm db/conf/spin/spin2002.html#Iosif02