Implementation of a Linear Tabling Mechanism.

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

Browse the full PADL paper archive.