Neng-Fa Zhou, Taisuke Sato
Efficient fixpoint computation in linear tabling
PPDP, 2003.
@inproceedings{PPDP-2003-ZhouS, author = "Neng-Fa Zhou and Taisuke Sato", booktitle = "{Proceedings of the Fifth International Conference on Principles and Practice of Declarative Programming}", doi = "10.1145/888251.888277", isbn = "1-58113-705-2", pages = "275--283", publisher = "{ACM}", title = "{Efficient fixpoint computation in linear tabling}", year = 2003, }