Journal "Software Engineering"
a journal on theoretical and applied science and technology
Issue N6 2013 year
This paper describes the implementation of the redundancy elimination algorithm. It is based on a new algebraic system with the semantics of a collection of rules of the conditional equational theory or conditional term rewriting system.