An algorithm for the determination of longest increasing subsequence in a sequence
scientific article; zbMATH DE number 4097379