@book{9372,
	title = {Journal of logic and computation.},
	publisher = {Oxford University Press,},
	year = {1990-},
	address = {Oxford :},
	url = {https://academic.oup.com/logcom}
}