An Existence Lemma for Canonical Forms in Symbolic Mathematics

B. F. Caviness, P. L. Pollack, C. M. Rubald. An Existence Lemma for Canonical Forms in Symbolic Mathematics. Inf. Process. Lett., 1(2):45-46, 1971.

Abstract

Abstract is missing.