Yet Another Proof of the Strong Equivalence Between Propositional Theories and Logic Programs.

Joohyung Lee, Ravi Palla

Browse the full LPNMR paper archive.