TY  - RPRT
TI  - ECLiPSe - from LP to CLP
AU  - Joachim Schimpf
AU  - Kish Shen
PY  - 2010
UR  - https://arxiv.org/abs/1012.4240
ID  - 1012.4240
ER  -