『Term Rewriting and All that』
@book{baader1999term,
title={Term rewriting and all that},
author={Baader, Franz and Nipkow, Tobias},
year={1999},
publisher={Cambridge university press},
url={https://zubairabid.com/Semester7/subjects/PoPL/books/TRaAT.pdf}
}