@TechReport{CDMTCS582,
	author = "L. Staiger", 	 
	title = "A polynomial-time algorithm for the automatic BAIRE property",
	institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand",
	type = "Report {CDMTCS}-582",
	month = jan, 
	year = 2025,
	url = "https://cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=898", 
	updated = "BibTex database updated Sun Feb 23 9:56:57 2025 NZST", 
}