Partial Deduction of Disjunctive Logic Programs: A Declarative Approach.

Chiaki Sakama, Hirohisa Seki

Browse the full LOPSTR paper archive.