Uniform substitution at one fell swoop

@article{DBLP:journals/corr/abs-1902-07230,
	author = {['André Platzer']},
	title = {Uniform Substitution At One Fell Swoop},
	journal = {CoRR},
	volume = {abs/1902.07230},
	year = {2019},
	url = {http://arxiv.org/abs/1902.07230}
}