Implementation of a Linear Tabling Mechanism

Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You. Implementation of a Linear Tabling Mechanism. In Enrico Pontelli, Vítor Santos Costa, editors, Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000, Boston, MA, USA, January 2000, Proceedings. Volume 1753 of Lecture Notes in Computer Science, pages 109-123, Springer, 2000. [doi]

@inproceedings{ZhouSYY00,
  title = {Implementation of a Linear Tabling Mechanism},
  author = {Neng-Fa Zhou and Yi-Dong Shen and Li-Yan Yuan and Jia-Huai You},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1753/17530109.htm},
  researchr = {https://researchr.org/publication/ZhouSYY00},
  cites = {0},
  citedby = {0},
  pages = {109-123},
  booktitle = {Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000, Boston, MA, USA, January 2000, Proceedings},
  editor = {Enrico Pontelli and Vítor Santos Costa},
  volume = {1753},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66992-2},
}