Propositional theories are strongly equivalent to logic programs

Pedro Cabalar Paolo Ferraris Propositional theories are strongly equivalent to logic programs http://arxiv.org/abs/cs/0701095 2007 CoRR abs/cs/0701095 db/journals/corr/corr0701.html#abs-cs-0701095 informal publication