An Abstract Logical Approach to Characterizing Strong Equivalence in Logic-based Knowledge Representation Formalisms.
['Ringo Baumann', 'Hannes Strass']
An Abstract Logical Approach to Characterizing Strong Equivalence in Logic-based Knowledge Representation Formalisms.