Discovering Classes of Strongly Equivalent Logic Programs

Open in new window