@misc{indiciae3646d54b464c, title = {On Measuring Non-Recursive Trade-Offs}, author = {Hermann Gruber and Markus Holzer and Martin Kutrib}, year = {2009}, doi = {10.4204/eptcs.3.13}, url = {https://arxiv.org/abs/0907.5063}, note = {Source identifier: 0907.5063} }