أرسل هذا في رسالة قصيرة: Presburger arithmetic with stars, rational subsets of graph groups, and nested zero tests