@TechReport{CDMTCS497,
	author = "C.S. Calude and D. Thompson", 	 
	title = "Incompleteness, Undecidability and Automated Proofs",
	institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
	type = "Report {CDMTCS}-497",
	month = may, 
	year = 2016,
	url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=622", 
	updated = "BibTex database updated Thu Apr 25 23:58:03 2024 NZST", 
}