@article{Grumbach_1997,
title={Queries with arithmetical constraints},
volume={173},
ISSN={0304-3975},
url={http://dx.doi.org/10.1016/s0304-3975(96)00194-6},
DOI={10.1016/s0304-3975(96)00194-6},
number={1},
journal={Theoretical Computer Science},
publisher={Elsevier BV},
author={Grumbach,
Stéphane and Su,
Jianwen},
year={1997},
month=feb,
pages={151–181} }