Petr Mása

• Mechanizing Hypothesis Formation