TY  - RPRT
TI  - Modular difference logic is hard
AU  - Nikolaj Bjørner
AU  - Andreas Blass
AU  - Yuri Gurevich
AU  - Madan Musuvathi
PY  - 2008
UR  - https://arxiv.org/abs/0811.0987
ID  - 0811.0987
ER  -