Lachowski, Ł. (2018). 
	On the Complexity of the Standard Translation of Lambda Calculus into Combinatory Logic. Reports on Mathematical Logic, 2018, 19-42. doi: https://doi.org/10.4467/20842589RM.18.002.8835