Links for lang2logic