Links for dl-formula-testing