Joseph Perry Phillips: Representation reducing heuristics for semi-automated scientific discovery. University of Michigan, USA 2000