@misc{indiciaea8698a5f0486,
  title = {Efficient reduction of Kappa models by static inspection of the rule-set},
  author = {Andreea Beica and Calin Guet and Tatjana Petrov},
  year = {2015},
  url = {https://arxiv.org/abs/1501.00440},
  note = {Source identifier: 1501.00440}
}