Links for dl-formula