LARS: a logic-based framework for analytic reasoning over streams
scientific article; zbMATH DE number 6895038
scientific article