Upper semilattice of binary strings with the relation "x is simple conditional to y" | IEEE Conference Publication | IEEE Xplore