Skobelev V. G., “Search on partially ordered structures”, Ukr. Mat. Zhurn., vol. 44, no. 2, pp. 253-260, Feb. 1992.