Propositional theories are strongly equivalent to logic programs

Open in new window