Gatermann, K., & Lauterbach, R. [ca. 1998]. Automatic classification of normal forms. In Preprint / Konrad-Zuse-Zentrum für Informationstechnik Berlin ([Electronic ed.]) [Cd]. Berlin: ZIB.

GATERMANN, Karin und LAUTERBACH, Reiner, 1998. Automatic classification of normal forms. [Electronic ed.]. Berlin: ZIB.

Gatermann, K., und R. Lauterbach. „Automatic classification of normal forms“. Preprint / Konrad-Zuse-Zentrum für Informationstechnik Berlin, [Electronic ed.], cd, ZIB, 1998.

Gatermann, Karin/Lauterbach, Reiner: Automatic classification of normal forms, [Electronic ed.]. Aufl. Berlin 1998.

Gatermann, K. und Lauterbach, R. (1998), Automatic classification of normal forms, Preprint / Konrad-Zuse-Zentrum für Informationstechnik Berlin, [Electronic ed.]., Bd. , ZIB, Berlin.