A Strategy for Constructing New Predicates in First-Order Logic

Stephen Muggleton. A Strategy for Constructing New Predicates in First-Order Logic. In EWSL. pages 123-130, 1988.

Abstract

Abstract is missing.