Identifying sequential redundancies without search

Abstract
No abstract available