Workshop on Computer Science Logic Heidelberg, Germany, & Börger, E. (1991). Computer science logic: 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings. Springer-Verlag.
Chicago Style (17th ed.) CitationWorkshop on Computer Science Logic Heidelberg, Germany, and E. Börger. Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : Proceedings. Berlin ; New York: Springer-Verlag, 1991.
MLA (9th ed.) CitationWorkshop on Computer Science Logic Heidelberg, Germany, and E. Börger. Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : Proceedings. Springer-Verlag, 1991.
Warning: These citations may not always be 100% accurate.