@misc{indiciaea8593c9a0042,
  title = {Spatial Symmetry Driven Pruning Strategies for Efficient Declarative Spatial Reasoning},
  author = {Carl Schultz and Mehul Bhatt},
  year = {2015},
  url = {https://arxiv.org/abs/1506.04945},
  note = {Source identifier: 1506.04945}
}