Ringo Baumann, und Hannes Strass. An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms. Artif. Intell., (305)103680:103680, Elsevier BV, April 2022. [PUMA: topic_knowledge]