Beck, Harald, Minh Dao-Tran, Thomas Eiter, and Michael Fink. 2015. “LARS: A Logic-Based Framework for Analyzing Reasoning over Streams”. Proceedings of the AAAI Conference on Artificial Intelligence 29 (1). https://doi.org/10.1609/aaai.v29i1.9408.