SpringerLink (Online service), Gottlob, G., Grandjean, E., & Seyr, K. (1999). Computer Science Logic: 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings (1st ed. 1999.). Springer Berlin Heidelberg : Imprint: Springer. https://doi.org/10.1007/10703163
Chicago Style (17th ed.) CitationSpringerLink (Online service), Georg Gottlob, Etienne Grandjean, and Katrin Seyr. Computer Science Logic: 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings. 1st ed. 1999. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 1999. https://doi.org/10.1007/10703163.
MLA (8th ed.) CitationSpringerLink (Online service), et al. Computer Science Logic: 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings. 1st ed. 1999. Springer Berlin Heidelberg : Imprint: Springer, 1999. https://doi.org/10.1007/10703163.