@misc{indiciae505e3e1604d8, title = {Infinite Qualitative Simulations by Means of Constraint Programming}, author = {Krzysztof R. Apt and Sebastian Brand}, year = {2006}, url = {https://arxiv.org/abs/cs/0608017}, note = {Source identifier: cs/0608017} }