Mechanisms for Temporal Logic Implementation in Rule-based Systems. - Josef Hahn; Karl-Heinz Krempels; Christoph Terwelp (ICAART (1), 2011)