Memoing for logic programs (1992)

by D S Warren
Venue:Communications of ACM