TY  - RPRT
TI  - Improved Inference for Checking Annotations
AU  - Peter J Stuckey
AU  - Martin Sulzmann
AU  - Jeremy Wazny
PY  - 2005
UR  - https://arxiv.org/abs/cs/0507036
ID  - cs/0507036
ER  -