安東祐希
『第一階古典述語論理の自然演繹計算の標準化定理について』(口頭発表、1994年)
『On a Reduction-Procedure for Full First Order Classical Natural Deduction』(筑波大学博士論文、1995年)
『古典論理自然演繹体系の標準化手続きについて』(口頭発表、1996年)
『古典自然演繹体系のチャーチ・ロッサー性について』(口頭発表、1999年)
『形式的証明の一意性に関するある定理について』(口頭発表、1999年)
『構造的縮約について』(口頭発表、2003年)