Discovering Classes of Strongly Equivalent Logic Programs with Negation as Failure in the Head.

Jianmin Ji

Browse the full KSEM paper archive.