Partial Deduction in Disjunctive Logic Programming (1997)

by C Sakama, H Seki
Venue:Journal of Logic Programming