Links for ltl-parser