Guy Jacobson Kiem-Phong Vo Heaviest Increasing/Common Subsequence Problems. 52-66 1992 conf/cpm/1992 CPM db/conf/cpm/cpm92.html#JacobsonV92