APA (7th ed.) Citation

Workshop on Computer Science Logic Kaiserslautern, Germany, Richter, M. M., Börger, E., & Kleine Büning, H. (1990). CSL '89: 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings. Springer-Verlag.

Chicago Style (17th ed.) Citation

Workshop on Computer Science Logic Kaiserslautern, Germany, Michael M. Richter, E. Börger, and H. Kleine Büning. CSL '89: 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : Proceedings. Berlin ; New York: Springer-Verlag, 1990.

MLA (8th ed.) Citation

Workshop on Computer Science Logic Kaiserslautern, Germany, et al. CSL '89: 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : Proceedings. Springer-Verlag, 1990.