In recent years, there has been an increasing interest in extending stream processing engines with rule-based temporal reasoning capabilities. To ensure correctness, such systems must be able to output results over the partial data received so far as if entire (infinite) had available; furthermore, these streamed out soon relevant is received, thus incurring minimum possible delay; finally, due...