A complete mechanization of correctness of a string-preprocessing algorithm
scientific article; zbMATH DE number 5007758
scientific article