@article {MR4812662,
	title = {Effectiveness of Walker{\textquoteright}s cancellation theorem},
	journal = {MLQ Math. Log. Q.},
	volume = {70},
	number = {3},
	year = {2024},
	pages = {347{\textendash}355},
	issn = {0942-5616,1521-3870},
	doi = {10.1002/malq.202400030},
	url = {https://doi.org/10.1002/malq.202400030},
	author = {Al-Hellawi, Layth and Alvir, Rachael and Csima, Barbara F. and Xie, Xinyue}
}
