@book{DBLP:books/daglib/0090595,
author = {Antje Strohmaier},
title = {Logisches Schlie{\ss}en mit massiv parallelen Methoden},
publisher = {Infix},
series = {DISKI},
volume = {169},
year = {1997},
isbn = {978-3-89601-169-5},
pages = {I-XVI, 1-220},
bibsource = {DBLP, http://dblp.uni-trier.de}
}