TY  - RPRT
TI  - On the implementation of construction functions for non-free concrete data types
AU  - Frédéric Blanqui
AU  - Thérèse Hardin
AU  - Pierre Weis
PY  - 2007
UR  - https://arxiv.org/abs/cs/0701031
ID  - cs/0701031
ER  -