A survival guide to Presburger arithmetic

Publication
SIGLOG News