@book{400,
	author = {Kapron, Bruce M.},
	title = {Logic, Automata, and Computational Complexity/ },
	publisher = {Association for Computing Machinery;},
	year = {[2023].},
	series = {ACM books, },
	address = {[New York, NY, USA] :},
	edition = {First Edition},
	url = {https://doi.org/10.1145/3588287}
}