TY  - RPRT
TI  - A structured alternative to Prolog with simple compositional semantics
AU  - António Porto
PY  - 2011
DO  - 10.1017/s1471068411000202
UR  - https://arxiv.org/abs/1107.5408
ID  - 1107.5408
ER  -