APA (7th ed.) Citation

Workshop on Computer Science Logic Karlsruhe, Germany, Börger, E., Kleine Büning, H., & Richter, M. M. (1988). CSL '87: 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 1987 : proceedings. Springer-Verlag.

Chicago Style (17th ed.) Citation

Workshop on Computer Science Logic Karlsruhe, Germany, E. Börger, H. Kleine Büning, and Michael M. Richter. CSL '87: 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 1987 : Proceedings. Berlin ; New York: Springer-Verlag, 1988.

MLA (9th ed.) Citation

Workshop on Computer Science Logic Karlsruhe, Germany, et al. CSL '87: 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 1987 : Proceedings. Springer-Verlag, 1988.