Full search-equivalent pattern matching with Incremental Dissimilarity Approximations