Presburger Arithmetic

join shbcf.ru