机译:Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective
Department of Informatics and Telecommunications, National and Kapodistrian University of Athens, Greece;
Department of Computer Science and Engineering, University of Ioannina, Greece;
ordered disjunction; strong equivalence; logic of here-and-there; answer sets;