Send the following on WhatsApp
Continue to Chathttps://123dok.net/document/qvl3elly-using-rewriting-and-strategies-for-describing-the-b-predicate-prover.html
https://123dok.net/document/qvl3elly-using-rewriting-and-strategies-for-describing-the-b-predicate-prover.html