American Psychological Association 6th edition

Cristiá, M., & Rossi, G. (2024). A Practical Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers. Journal of Automated Reasoning, 68(4). https://doi.org/10.1007/s10817-024-09713-6

ISO-690 (author-date, English)

CRISTIÁ, Maximiliano und ROSSI, Gianfranco, 2024. A Practical Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers. Journal of Automated Reasoning. 1 Dezember 2024. Vol. 68, no. 4, . DOI 10.1007/s10817-024-09713-6.

Modern Language Association 9th edition

Cristiá, M., und G. Rossi. „A Practical Decision Procedure for Quantifier-Free, Decidable Languages Extended With Restricted Quantifiers“. Journal of Automated Reasoning, Bd. 68, Nr. 4, Dezember 2024, https://doi.org/10.1007/s10817-024-09713-6.

Mohr Siebeck - Recht (Deutsch - Österreich)

Cristiá, Maximiliano/Rossi, Gianfranco: A Practical Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers, Journal of Automated Reasoning 2024,

Emerald - Harvard

Cristiá, M. und Rossi, G. (2024), „A Practical Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers“, Journal of Automated Reasoning, Vol. 68 No. 4, verfügbar unter:https://doi.org/10.1007/s10817-024-09713-6.

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