@book{4456,
	author = {Blanchette, Jasmin. and SpringerLink (Online service)},
	title = {Journal of Automated Reasoning},
	publisher = {Springer Netherlands :},
	address = {Dordrecht :},
	url = {https://doi.org/10.1007/10817.1573-0670}
}