@misc{indiciaea7102da579dd,
  title = {Improving the Visualization of Alloy Instances},
  author = {Rui Couto and José C. Campos and Nuno Macedo and Alcino Cunha},
  year = {2018},
  doi = {10.4204/eptcs.284.4},
  url = {https://arxiv.org/abs/1811.10817},
  note = {Source identifier: 1811.10817}
}