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
Παραπομπή σε μορφή Chicago (17η εκδ.)Cristiá, Maximiliano, και Gianfranco Rossi. "A Practical Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers." Journal of Automated Reasoning 68, no. 4 (2024). https://doi.org/10.1007/s10817-024-09713-6.
Παραπομπή σε μορφή MLA (9th εκδ.)Cristiá, Maximiliano, και Gianfranco Rossi. "A Practical Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers." Journal of Automated Reasoning, vol. 68, no. 4, 2024, https://doi.org/10.1007/s10817-024-09713-6.