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,
}











