DavydovO. V., “A theorem about snakes for weak Cartesian systems”, Ukr. Mat. Zhurn., vol. 47, no. 3, pp. 315–321, Mar. 1995.