Stefan Berghofer

• Theorem Proving in Higher Order Logics
• Theorem Proving in Higher Order Logics