Annette Bunker

• Theorem Proving in Higher Order Logics