Inductive Completion for Transformation of Equational Specifications

Steffen Lange,K. Jantke
DOI: https://doi.org/10.1007/3-540-54496-8_7
1990-04-17
Abstract:
What problem does this paper attempt to address?