An Approach to Forgetting in Disjunctive Logic Programs that Preserves Strong Equivalence

Devs

An Approach to Forgetting in Disjunctive Logic Programs that Preserves Strong Equivalence | Read Paper on Bytez