Workshop on Computer Science Logic Paderborn, Germany, European Association for Computer Science Logic. Conference, & Kleine Büning, H. (1996). Computer science logic: 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers. Springer.
Chicago Style (17th ed.) CitationWorkshop on Computer Science Logic Paderborn, Germany, European Association for Computer Science Logic. Conference, and H. Kleine Büning. Computer Science Logic: 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : Selected Papers. Berlin ; New York: Springer, 1996.
MLA (8th ed.) CitationWorkshop on Computer Science Logic Paderborn, Germany, et al. Computer Science Logic: 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : Selected Papers. Springer, 1996.