Abstract / Introduction

Typos in introduction.
Abstract did not contain what is supposed to be in an abstract: summary
of results, not what the algorithms do.