Habermehl, P., & Kuske, D. (2023). On Presburger arithmetic extended with non-unary counting quantifiers. Logical Methods in Computer Science e.V.
Čikaški stil citiranja (17. izdanje)Habermehl, Peter, i Dietrich Kuske. On Presburger Arithmetic Extended with Non-unary Counting Quantifiers. Logical Methods in Computer Science e.V, 2023.
MLA način citiranja (9. izdanje)Habermehl, Peter, i Dietrich Kuske. On Presburger Arithmetic Extended with Non-unary Counting Quantifiers. Logical Methods in Computer Science e.V, 2023.
Upozorenje: Ovi citati možda nisu uvijek 100% točni.