Links for logicscore-core