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