Links for reasoning-workbench