Sharon Barner Orna Grumberg Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking. 93-106 2002 conf/cav/2002 CAV http://link.springer.de/link/service/series/0558/bibs/2404/24040093.htm db/conf/cav/cav2002.html#BarnerG02