Discovering Classes of Strongly Equivalent Logic Programs.

Fangzhen Lin, Yin Chen

Browse the full IJCAI paper archive.