Incremental version-space merging : - Hirsh, Haym 1963- (Kluwer international series in engineering and computer science. Knowledge representation, learning and expert systems, 1990)