Reducing Strong Equivalence of Logic Programs to Entailment in Classical Propositional Logic.

Fangzhen Lin

Browse the full KR paper archive.