Erratum to: versatile and declarative dynamic programming using pair algebras
Peter Steffen, Robert Giegerich · BMC Bioinformatics · 2006
Although the error is quite minor (l' = l has been miswritten as l' ∈ L), it occurs in the central Definition 3 in the paper, and is also pasted into subsequent example code (both error sites on p.7, right column).