Krishnendu Chatterjee Wolfgang Dvorák Monika Henzinger Veronika Loitzenbauer Model and Objective Separation with Conditional Lower Bounds: Disjunction is Harder than Conjunction. 197-206 2016 LICS https://doi.org/10.1145/2933575.2935304 https://ieeexplore.ieee.org/document/8576441 conf/lics/2016 db/conf/lics/lics2016.html#ChatterjeeDHL16