An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms

From MaRDI portal