Harald Beck, Minh Dao-Tran, Thomas Eiter: LARS: A Logic-Based Framework for Analytic Reasoning over Streams - (Extended Abstract). SOFSEM 2018: 87-93