![]() |
@book{DBLP:books/vi/Walther91,
author = {Christoph Walther},
title = {Automatisierung von Terminierungsbeweisen},
publisher = {Vieweg},
year = {1991},
isbn = {3-528-04771-2},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2005-02-15 by Michael Ley (ley@uni-trier.de)