@book{DBLP:books/infix/Specht93,
author = {G{\"u}nther Specht},
title = {Source-to-Source Transformationen zur Erkl{\"a}rung des
Programmverhaltens bei deduktiven Datenbanken},
publisher = {Infix Verlag, St. Augustin, Germany},
series = {DISKI},
volume = {42},
year = {1993},
isbn = {3-929037-42-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}