Maximiliano Cristiá, Gianfranco Rossi. A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals. ACM Trans. Comput. Log., 25(1), January 2024. [doi]
No references recorded for this publication.
No citations of this publication recorded.