Posted on July 17, 2013 (July 17, 2013) by status Screw LTL! – from now on, the Declare semantics is using regular expressions.