Partial deduction in disjunctive logic programming (1997)

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