Backward Chaining Evaluation in Stratified Disjunctive Theories.

Vronique Royer

Browse the full PODS paper archive.