Draeger, J. (1998). Modularisierte Suche in Theorembeweisern ([Mikrofiche-Ausg.].).
Chicago-Zitierstil (17. Ausg.)Draeger, Joachim. Modularisierte Suche in Theorembeweisern. [Mikrofiche-Ausg.]. 1998.
MLA-Zitierstil (9. Ausg.)Draeger, Joachim. Modularisierte Suche in Theorembeweisern. [Mikrofiche-Ausg.]. 1998.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.