T. Eiter, R. Kiesel: "Weighted LARS for Quantitative Stream Reasoning"; Talk: Austrian Workshop on Logic in Computer Science, Turracher Höhe; 2020-01-26 - 2020-01-29.