A Practical Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers

Bibliographic Details
Title:	A Practical Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers
Authors:	Cristiá, Maximiliano^{Aff1, IDs10817024097136_cor1}, Rossi, Gianfranco^Aff2
Source:	Journal of Automated Reasoning. 68(4)
Database:	Springer Nature Journals

Description
ISSN:	01687433 15730670
DOI:	10.1007/s10817-024-09713-6