Generalization of Clauses Relative to a Theory

Peter Idestam-Almquist. Generalization of Clauses Relative to a Theory. Machine Learning, 26(2-3):213-226, 1997.

Abstract

Abstract is missing.