An Efficient ATMS for Equivalence Relations. - Caroline N. Koff; Nicholas S. Flann; Thomas G. Dietterich (AAAI, 1988)