Weidong Chen, David Scott Warren. Tabled Evaluation With Delaying for General Logic Programs. Journal of the ACM, 43(1):20-74, 1996. [doi]
@article{ChenW96:4, title = {Tabled Evaluation With Delaying for General Logic Programs}, author = {Weidong Chen and David Scott Warren}, year = {1996}, tags = {logic programming, logic}, researchr = {https://researchr.org/publication/ChenW96%3A4}, cites = {0}, citedby = {0}, journal = {Journal of the ACM}, volume = {43}, number = {1}, pages = {20-74}, }