TY  - RPRT
TI  - An overview of Ciao and its design philosophy
AU  - M. V. Hermenegildo
AU  - F. Bueno
AU  - M. Carro
AU  - P. López-García
AU  - E. Mera
AU  - J. F. Morales
AU  - G. Puebla
PY  - 2011
UR  - https://arxiv.org/abs/1102.5497
ID  - 1102.5497
ER  -