Thomas Eiter, Patrik Schneider: A Qualitative Temporal Extension of Here-and-There Logic. LPNMR 2022: 159-176