Börger, E., Kleine Büning, H., & Richter, M. M. (1988). CSL '87: 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings (1st ed. 1988.). Berlin, Heidelberg: Springer Berlin Heidelberg.
Chicago Style CitationBörger, Egon, Hans Kleine Büning, and Michael M. Richter. CSL '87: 1st Workshop On Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings. 1st ed. 1988. Berlin, Heidelberg: Springer Berlin Heidelberg, 1988.
MLA CitationBörger, Egon, Hans Kleine Büning, and Michael M. Richter. CSL '87: 1st Workshop On Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings. 1st ed. 1988. Berlin, Heidelberg: Springer Berlin Heidelberg, 1988.
Warning: These citations may not always be 100% accurate.