"Strong Equivalence of Non-Monotonic Temporal Theories."

Pedro Cabalar, Martín Diéguez (2014)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics