(1991). Computer science logic: 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 ; proceedings. Springer.
Chicago-Zitierstil (17. Ausg.)Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 ; Proceedings. Berlin [u.a.]: Springer, 1991.
MLA-Zitierstil (9. Ausg.)Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 ; Proceedings. Springer, 1991.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.