The power of linear-time data reduction for maximum matching
scientific article