@book{862,
	title = {Journal of logic and computation.},
	publisher = {Oxford University Press,},
	year = {[1990?-},
	address = {[Oxford, England] :},
	note = {Title from cover.}
}