A Simplified Framework for Reduction in Strength

Karl J. Ottenstein. A Simplified Framework for Reduction in Strength. IEEE Trans. Software Eng., 15(1):86-92, 1989. [doi]

Abstract

Abstract is missing.