APA (7th ed.) Citation

Giesl, J. (1995). Automatisierung von Terminierungsbeweisen für rekursiv definierte Algorithmen. Infix.

Chicago Style (17th ed.) Citation

Giesl, Jürgen. Automatisierung Von Terminierungsbeweisen Für Rekursiv Definierte Algorithmen. Sankt Augustin: Infix, 1995.

MLA (9th ed.) Citation

Giesl, Jürgen. Automatisierung Von Terminierungsbeweisen Für Rekursiv Definierte Algorithmen. Infix, 1995.