Article

Bundy, A. and Jamnik, M. and Fugard, Andi (2005) What is a proof? Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 363 (1835), pp. 2377-2391. ISSN 1364-503X.

Book

Bundy, A. and Mareschal, Denis, eds. (2022) HLC 2022. Human-Like Computing Workshop 2022. CEUR Workshop Proceedings 3227. CEUR.