Links for abstractdomain