TY  - RPRT
TI  - Secure Prolog-Based Mobile Code
AU  - Seng Wai Loke
AU  - Andrew Davison
PY  - 2004
UR  - https://arxiv.org/abs/cs/0406012
ID  - cs/0406012
ER  -