TY  - RPRT
TI  - Efficient reduction of Kappa models by static inspection of the rule-set
AU  - Andreea Beica
AU  - Calin Guet
AU  - Tatjana Petrov
PY  - 2015
UR  - https://arxiv.org/abs/1501.00440
ID  - 1501.00440
ER  -