TY  - RPRT
TI  - The Full Abstraction Problem for Higher Order Functional-Logic Programs
AU  - F. J. López-Fraguas
AU  - J. Rodríguez-Hortalá
PY  - 2010
UR  - https://arxiv.org/abs/1002.1833
ID  - 1002.1833
ER  -