Existence, uniqueness, and algorithmic computation of general lilypond systems. - Matthias Heveling; Günter Last (Random Struct. Algorithms, 2006)