@book
{TN_libero_mab2,
author = {
Madlener, Klaus
Otto, Friedrich
},
title = {
Decidable sentences for context-free groups
},
publisher = {Fachbereich Informatik, Univ.},
keywords = {
Decidability (Mathematical logic)
,
Rewriting systems (Computer science)
,
Bericht
},
year = {1990},
abstract = {Interner Bericht. Fachbereich Informatik, Universität Kaiserslautern. 202},
booktitle = {Interner Bericht / Fachbereich Informatik, Universität Kaiserslautern ; 202},
address = {
Kaiserslautern
},
url = {
http://slubdd.de/katalog?TN_libero_mab2
}
}