Equivalence of Logic Programs under Updates Katsumi Inoue National Institute of Informatics Chiaki Sakama Wakayama University JELIA 2004. 09. 29 Strong Equivalence in ASP…