Lars Helge Haß, Thomas Noll. Equational Abstractions for Reducing the State Space of Rewrite Theories. Electronic Notes in Theoretical Computer Science, 238(3):139-154, 2009. [doi]
No references recorded for this publication.
No citations of this publication recorded.