American Psychological Association 6th edition

Blicha, M., Britikov, K., & Sharygina, N. (2025). Golem: a flexible and efficient solver for constrained Horn clauses. Formal Methods in System Design, 67(2), 143-160. https://doi.org/10.1007/s10703-025-00470-9

ISO-690 (author-date, English)

BLICHA, Martin, BRITIKOV, Konstantin und SHARYGINA, Natasha, 2025. Golem: a flexible and efficient solver for constrained Horn clauses. Formal Methods in System Design. 1 November 2025. Vol. 67, no. 2, p. 143-160. DOI 10.1007/s10703-025-00470-9.

Modern Language Association 9th edition

Blicha, M., K. Britikov, und N. Sharygina. „Golem: A Flexible and Efficient Solver for Constrained Horn Clauses.“. Formal Methods in System Design, Bd. 67, Nr. 2, November 2025, S. 143-60, https://doi.org/10.1007/s10703-025-00470-9.

Mohr Siebeck - Recht (Deutsch - Österreich)

Blicha, Martin/Britikov, Konstantin/Sharygina, Natasha: Golem: a flexible and efficient solver for constrained Horn clauses., Formal Methods in System Design 2025, 143-160.

Emerald - Harvard

Blicha, M., Britikov, K. und Sharygina, N. (2025), „Golem: a flexible and efficient solver for constrained Horn clauses.“, Formal Methods in System Design, Vol. 67 No. 2, S. 143-160.

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