Semantics of (Disjunctive) Logic Programs Based on Partial Evaluation (1999)

by J Brass, J Dix
Venue:Journal of Logic Programming