TY  - RPRT
TI  - Efficient Tabling Mechanisms for Transaction Logic Programs
AU  - Paul Fodor
PY  - 2007
UR  - https://arxiv.org/abs/0709.1699
ID  - 0709.1699
ER  -