Equational Abstractions for Reducing the State Space of Rewrite Theories. - Lars Helge Haß; Thomas Noll 001 (WRLA, 2008)