Constrained Relative Least General Generalization for Inducing Constraint Logic Programs

Fumio Mizoguchi, Hayato Ohwada. Constrained Relative Least General Generalization for Inducing Constraint Logic Programs. New Generation Comput., 13(3&4):335-368, 1995.

Abstract

Abstract is missing.