Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You
A Linear Tabling Mechanism
ICLP, 1999.
@inproceedings{ICLP-1999-ZhouSYY, author = "Neng-Fa Zhou and Yi-Dong Shen and Li-Yan Yuan and Jia-Huai You", booktitle = "{Proceedings of the 15th International Conference on Logic Programming}", isbn = "0-262-54104-1", pages = "618", publisher = "{MIT Press}", title = "{A Linear Tabling Mechanism}", year = 1999, }