Mechanizing hypothesis formation - Havránek, Tomáš (1978)