Lossless Approximate Pattern Matching: Automated Design of Efficient Search Schemes | Synapse