TY  - RPRT
TI  - Polynomial Size Analysis of First-Order Shapely Functions
AU  - Olha Shkaravska
AU  - Marko van Eekelen
AU  - Ron van Kesteren
PY  - 2009
DO  - 10.2168/lmcs-5(2:10)2009
UR  - https://arxiv.org/abs/0902.2073
ID  - 0902.2073
ER  -