Micah Adler Adi Rosén Tight bounds for the performance of Longest In System on DAGs. 101-112 2005 55 J. Algorithms 2 http://dx.doi.org/10.1016/j.jalgor.2004.04.013 db/journals/jal/jal55.html#AdlerR05