Abstract
We propose an extension of purely equational reasoning with an induction rule, to obtain an intermediate between the equational theory of an algebraic specification and its ω-closure.
Get full access to this article
View all access options for this article.