Links for binary-tree-logicatcore