Cite Them Right 11th edition - Harvard

Schindler, T. und Podelski, A. (2022) SMT solving, interpolation, and quantifiers [cd]. Universität. doi:10.6094/UNIFR/229572.

Chicago Manual of Style 17th edition (full note)

Schindler, Tanja, und Andreas Podelski. „SMT solving, interpolation, and quantifiers“. Cd. Universität, [2022?], Universität, [2022?]. https://doi.org/10.6094/UNIFR/229572.

American Psychological Association 7th edition

Schindler, T., & Podelski, A. (ca. 2022). SMT solving, interpolation, and quantifiers [Universität; Cd]. https://doi.org/10.6094/UNIFR/229572

Modern Language Association 9th edition

Schindler, T., und A. Podelski. SMT solving, interpolation, and quantifiers. cd, Universität, 2022, https://doi.org/10.6094/UNIFR/229572.

ISO-690 (author-date, Deutsch)

SCHINDLER, Tanja und Andreas PODELSKI, 2022. SMT solving, interpolation, and quantifiers. Freiburg: Universität

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.