TY - JOUR AU - Z. V. Makridin AU - S. P. Odintsov TI - On strong equivalence theorem for answer set semantics with strong negation JO - Sibirskie èlektronnye matematičeskie izvestiâ PY - 2015 SP - 108 EP - 121 VL - 12 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/SEMR_2015_12_a2/ LA - en ID - SEMR_2015_12_a2 ER -