Peter J. Stuckey Martin Sulzmann Jeremy Wazny Improved Inference for Checking Annotations http://arxiv.org/abs/cs/0507036 2005 CoRR abs/cs/0507036 db/journals/corr/corr0507.html#abs-cs-0507036 informal publication