Bibtex:BN98
From Termination-Portal.org
Jump to navigationJump to search
BibTex
F. Baader, T. Nipkow - Term Rewriting and All That
- Cambridge University Press, Cambridge,1998
- BibtexAuthor : F. Baader, T. Nipkow
Title : Term Rewriting and All That
In : -
Address : Cambridge
Date : 1998