Transforming Gringo Rules into Formulas in a Natural Way.

Vladimir Lifschitz

Browse the full JELIA paper archive.