Milan Simůnek

• Mechanizing Hypothesis Formation