Paper on redundant state detection.