https://arxiv.org/abs/cs/0701095
[cs/0701095] Propositional theories are strongly equivalent to logic programs
Abstract page for arXiv paper cs/0701095: Propositional theories are strongly equivalent to logic programs
cstheoriesstronglyequivalentlogic