Rudolf Wille The Basic Theorem on Labelled Line Diagrams of Finite Concept Lattices. 303-312 2007 conf/icfca/2007 ICFCA http://dx.doi.org/10.1007/978-3-540-70901-5_19 db/conf/icfca/icfca2007.html#Wille07