彼の1965年の学術論文Naturaldeduction:aproof-theoreticalstudyは自然演繹の最終版ともいうべきもので、様相論理や二階述語論理への応用も含んでいた。
他在1965年的专著《Naturaldeduction:aproof-theoreticalstudy》成为关于自然演绎的权威著作，并包括了模态和二阶逻辑的应用。