Automated Hypothesis Generation Using Extended Inductive Resolution

Charles G. Morgan. Automated Hypothesis Generation Using Extended Inductive Resolution. In IJCAI. pages 351-356, 1975.

Abstract

Abstract is missing.