TY  - RPRT
TI  - A Generic Analysis Server System for Functional Logic Programs
AU  - Michael Hanus
AU  - Fabian Reck
PY  - 2013
UR  - https://arxiv.org/abs/1307.4648
ID  - 1307.4648
ER  -