TY  - RPRT
TI  - Planning as Tabled Logic Programming
AU  - Neng-Fa Zhou
AU  - Roman Bartak
AU  - Agostino Dovier
PY  - 2015
DO  - 10.1017/s1471068415000216
UR  - https://arxiv.org/abs/1507.03979
ID  - 1507.03979
ER  -