Bibtex:BN98

From Termination-Portal.org
Jump to: navigation, search

BibTex

F. Baader, T. Nipkow - Term Rewriting and All That
Cambridge University Press, Cambridge,1998
Bibtex
Author : F. Baader, T. Nipkow
Title : Term Rewriting and All That
In : -
Address : Cambridge
Date : 1998
Personal tools