%0 Conference Paper %1 conf/padl/ZhouSYY00 %A Zhou, Neng-Fa %A Shen, Yi-Dong %A Yuan, Li-Yan %A You, Jia-Huai %B PADL %D 2000 %E Pontelli, Enrico %E Costa, Vítor Santos %I Springer %K dblp %P 109-123 %T Implementation of a Linear Tabling Mechanism. %U http://dblp.uni-trier.de/db/conf/padl/padl2000.html#ZhouSYY00 %V 1753 %@ 3-540-66992-2

@inproceedings{conf/padl/ZhouSYY00, added-at = {2017-05-17T00:00:00.000+0200}, author = {Zhou, Neng-Fa and Shen, Yi-Dong and Yuan, Li-Yan and You, Jia-Huai}, biburl = {https://www.bibsonomy.org/bibtex/250ecb7e899dd0e749256426551204dc4/dblp}, booktitle = {PADL}, crossref = {conf/padl/2000}, editor = {Pontelli, Enrico and Costa, Vítor Santos}, ee = {https://doi.org/10.1007/3-540-46584-7_8}, interhash = {3d4587ece2e416f492901bf70b0181a9}, intrahash = {50ecb7e899dd0e749256426551204dc4}, isbn = {3-540-66992-2}, keywords = {dblp}, pages = {109-123}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:45:11.000+0200}, title = {Implementation of a Linear Tabling Mechanism.}, url = {http://dblp.uni-trier.de/db/conf/padl/padl2000.html#ZhouSYY00}, volume = 1753, year = 2000 }