Errata for Schulz, S.: Explanation Based Learning for Distributed
                       Equational Deduction

Apart from several minor typos, there is a more substantial error in
Section 6.2.2. A small bug in the implementation masked the
existing and significant influence of the goal distance
evaluation. This topic will be discussed in a future publication.

Stephan Schulz