Michel Habib Raoul Medina Lhouari Nourine George Steiner Efficient algorithms on distributive lattices. 169-187 2001 110 Discrete Applied Mathematics 2-3 db/journals/dam/dam110.html#HabibMNS01