https://bookem.ir/books/1618972-Symbolic-Rewriting-Techniques