Synthesis of Composition and Discrimination Operators for Divide-and-Conquer Logic Programs

Pierre Flener, Yves Deville. Synthesis of Composition and Discrimination Operators for Divide-and-Conquer Logic Programs. In ICLP. pages 67-96, 1991.

Abstract

Abstract is missing.