APA (7th ed.) Citation

(1998). Computer science logic: 11th international workshop, CSL '97, Annual Conference of the EACSL, Aarhus, Denmark, August 23 - 29, 1997 ; selected papers. Springer.

Chicago Style (17th ed.) Citation

Computer Science Logic: 11th International Workshop, CSL '97, Annual Conference of the EACSL, Aarhus, Denmark, August 23 - 29, 1997 ; Selected Papers. Berlin [u.a.]: Springer, 1998.

MLA (9th ed.) Citation

Computer Science Logic: 11th International Workshop, CSL '97, Annual Conference of the EACSL, Aarhus, Denmark, August 23 - 29, 1997 ; Selected Papers. Springer, 1998.