The Problem of Guaranteeing the Existence of a Complete Set of Reductions

Larry Wos. The Problem of Guaranteeing the Existence of a Complete Set of Reductions. Journal of Automated Reasoning, 5(3):399-401, 1989.

Abstract

Abstract is missing.