Robuta

https://iccl.inf.tu-dresden.de/web/Article3080/en An Abstract, Logical Approach to Characterizing Strong Equivalence in Non-monotonic Knowledge... Ringo Baumann, Hannes Straß. An Abstract, Logical Approach to Characterizing Strong Equivalence in Non-monotonic Knowledge Representation Formalisms.... strong equivalence abstract logical approach characterizing https://portal.mardi4nfdi.de/wiki/Publication:6063883 Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs -... strong equivalence program structure arguing essential logic