Mechanizing Hypothesis Formation door P. Hajek & T. Havranek