Alexey V. Chernov, Andrei A. Muchnik, Andrei E. Romashchenko, Alexander Shen, Nikolai K. Vereshchagin. Upper semi-lattice of binary strings with the relation x is simple conditional to y . Theoretical Computer Science, 271(1-2):69-95, 2002. [doi]
Abstract is missing.