Interpolation antichains in lattices
1985 ◽
pp. 142-149