TY  - RPRT
TI  - XSB: Extending Prolog with Tabled Logic Programming
AU  - Terrance Swift
AU  - David S. Warren
PY  - 2010
UR  - https://arxiv.org/abs/1012.5123
ID  - 1012.5123
ER  -