أرسل هذا في رسالة قصيرة: Beyond quantifier-free interpolation in extensions of presburger arithmetic