Links for dl-formula-ref