Strong Equivalence of Non-Monotonic Temporal Theories.

Pedro Cabalar, Martn Diguez

Browse the full KR paper archive.