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 and ROSSI, Gianfranco, 2024. A Practical Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers. Journal of Automated Reasoning. 1 December 2024. Vol. 68, no. 4, . DOI 10.1007/s10817-024-09713-6.

Modern Language Association 9th edition

Cristiá, M., and G. Rossi. “A Practical Decision Procedure for Quantifier-Free, Decidable Languages Extended With Restricted Quantifiers”. Journal of Automated Reasoning, vol. 68, no. 4, Dec. 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. and Rossi, G. (2024), “A Practical Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers”, Journal of Automated Reasoning, Vol. 68 No. 4, available at:https://doi.org/10.1007/s10817-024-09713-6.

Warning: These citations may not always be 100% accurate.