A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction. - CHARALAMBIDIS, ANGELOS; RONDOGIANNIS, PANOS; TROUMPOUKIS, ANTONIS (Theory & Practice of Logic Programming, 2021)