db/journals/jacm/ChenW96.html Weidong Chen David Scott Warren Tabled Evaluation With Delaying for General Logic Programs. 20-74 1996 43 J. ACM 1 db/journals/jacm/jacm43.html#ChenW96 http://doi.acm.org/10.1145/227595.227597