1. Towards a Theory of Declarative Knowledge;Apt,1988
2. Partial Deduction of Logic Programs wrt Well-Founded Semantics;Aravindan;New Generation Computing,1994
3. A Characterization of the Stable Semantics by Partial Evaluation;Brass,1994
4. A Disjunctive Semantics Based on Unfolding and Bottom-Up Evaluation;Brass,1994
5. A General Approach to Bottom-Up Computation of Disjunctive Semantics;Brass,1995