Mathias Niepert Dirk Van Gucht Marc Gyssens On the Conditional Independence Implication Problem: A Lattice-Theoretic Approach http://arxiv.org/abs/0810.5717 2008 CoRR abs/0810.5717 db/journals/corr/corr0810.html#abs-0810-5717 informal publication