Ulrich Faigle Britta Peis A two-phase greedy algorithm for modular lattice polyhedra. 33-37 2007 CTW conf/colognetwente/2007 db/conf/colognetwente/colognetwente2007.html#FaigleP07