H. Beck, M. Dao-Tran, T. Eiter, and M. Fink, “LARS: A Logic-Based Framework for Analyzing Reasoning over Streams”, AAAI, vol. 29, no. 1, Feb. 2015.