Ruth Lamprecht Peter Kemper Reflection symmetry detection to reduce the state space of Markovian models. 2009 ACM Southeast Regional Conference http://doi.acm.org/10.1145/1566445.1566551 conf/ACMse/2009 db/conf/ACMse/ACMse2009.html#LamprechtK09