Partial Deduction of Disjunctive Logic Programs: A Declarative Approach

• Authors:

• Chiaki Sakama;Hirohisa Seki

• Affiliations:

• -;-

• Venue:
• LOPSTR '94/META '94 Proceedings of the 4th International Workshops on Logic Programming Synthesis and Transformation - Meta-Programming in Logic
• Year:
• 1994