Börger, E., Kleine Büning, H., Richter, M. M., & Schönfeld, W. (1991). Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings (1st ed. 1991.). Berlin, Heidelberg: Springer Berlin Heidelberg.
Chicago Style CitationBörger, Egon, Hans Kleine Büning, Michael M. Richter, and Wolfgang Schönfeld. Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings. 1st ed. 1991. Berlin, Heidelberg: Springer Berlin Heidelberg, 1991.
MLA CitationBörger, Egon, Hans Kleine Büning, Michael M. Richter, and Wolfgang Schönfeld. Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings. 1st ed. 1991. Berlin, Heidelberg: Springer Berlin Heidelberg, 1991.