Automated scientific discovery. Inf. Sci. 57-58: 219-230 (1991)