Tabled evaluation with delaying for general logic programs. (1996)

by W Chen, D S Warren
Venue:Journal of the ACM,