A Linear Tabling Mechanism.

Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You

Browse the full ICLP paper archive.