related documents REDUNDANCY IDENTIFICATION AND REMOVAL BASED ON IMPLICIT STATE ENUMERATION Conference Proceeding