dreach_tool: update abstract
dreach_tool: fix citations in intro