Synthesis of composition and discrimination operators for divide-and-conquer logic programs

• Authors:

• Pierre Flener;Yves Deville

• Affiliations:

• -;-

• Venue:
• Constructing logic programs
• Year:
• 1993