Mechanizing hypothesis formation principles and case studies - Rauch, Jan (CRC Press ; Taylor and Francis Group, 2022)