Links for logic-asts