Partial deduction in disjunctive logic programming (1997)

by Chiaki Sakama, Hirohisa Seki
Venue:Journal of Logic Programming