added missing citations to bibliography
add related work about commutativity lattice