Шалак, В. И. (2018) «Слабое отношение следования между $\lambda$-термами», Логические исследования, 24(2), сс. 151-157. doi: 10.21146/2074-1472-2018-24-2-151-157.