Links for ares-reasoning