%0 Journal Article %1 journals/corr/abs-0811-0987 %A Bjørner, Nikolaj S. %A Blass, Andreas %A Gurevich, Yuri %A Musuvathi, Madan %D 2008 %J CoRR %K dblp %T Modular difference logic is hard %U http://dblp.uni-trier.de/db/journals/corr/corr0811.html#abs-0811-0987 %V abs/0811.0987

@article{journals/corr/abs-0811-0987, added-at = {2022-04-14T00:00:00.000+0200}, author = {Bjørner, Nikolaj S. and Blass, Andreas and Gurevich, Yuri and Musuvathi, Madan}, biburl = {https://www.bibsonomy.org/bibtex/25c1745d28b253e24e1736b6bd8dad052/dblp}, ee = {http://arxiv.org/abs/0811.0987}, interhash = {df6dd6bd8b5b7cf38c6f786fdc19d843}, intrahash = {5c1745d28b253e24e1736b6bd8dad052}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T22:04:41.000+0200}, title = {Modular difference logic is hard}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0811.html#abs-0811-0987}, volume = {abs/0811.0987}, year = 2008 }