KLIN, Bartek und PIMENTEL, Elaine (Hrsg.). Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik Gmb H. ISBN 9783959772648.
Elsevier - Harvard (with titles)Klin, B., Pimentel, E. (Hrsg.), 2023. 31 st EACSL Annual Conference on Computer Science Logic (CSL 2023), LIPIcs - Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik Gmb H, Wadern. https://doi.org/urn:nbn:de:0030-drops-174603
American Psychological Association 7th edition31 st EACSL Annual Conference on Computer Science Logic (CSL 2023). (ca. 2023). [Cd]. In B. Klin & E. Pimentel (Hrsg.), LIPIcs - Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik Gmb H. https://doi.org/urn:nbn:de:0030-drops-174603
Springer - Basic (author-date)Klin B, Pimentel E (Hrsg.) (2023) 31 st EACSL Annual Conference on Computer Science Logic (CSL 2023). Schloss Dagstuhl - Leibniz-Zentrum für Informatik Gmb H, Wadern
Juristische Zitierweise (Stüber) (Deutsch)Klin, Bartek/ Pimentel, Elaine (Hrsg.), 31 st EACSL Annual Conference on Computer Science Logic (CSL 2023), Wadern 2023.