Term rewriting and all that | lit.salon