On Tight Logic Programs and Yet Another Translation from Normal Logic Programs to Propositional Logic.

Fangzhen Lin, Jicheng Zhao

Browse the full IJCAI paper archive.