Bart Kuijpers Walied Othman Rafael Grimson A case study of the difficulty of quantifier elimination in constraint databases: the alibi query in moving object databases http://arxiv.org/abs/0712.1996 2007 CoRR abs/0712.1996 db/journals/corr/corr0712.html#abs-0712-1996 informal publication