Return to Article Details Discovering Classes of Strongly Equivalent Logic Programs Download Download PDF