TY  - RPRT
TI  - Applying Prolog to Develop Distributed Systems
AU  - Nuno P. Lopes
AU  - Juan A. Navarro
AU  - Andrey Rybalchenko
AU  - Atul Singh
PY  - 2010
DO  - 10.1017/s1471068410000360
UR  - https://arxiv.org/abs/1007.3835
ID  - 1007.3835
ER  -