Benchmarking Implementations of Term Rewriting and Pattern Matching in Algebraic, Functional, and Object-Oriented Languages - The 4th Rewrite Engines Competition. - Hubert Garavel; Mohammad-Ali Tabikh; Imad-Seddik Arrada (WRLA@ETAPS, 2018)