History Independence As an Algorithmic Tool (invited Talk). | AMiner