Extension Tables: Memo Relations (1987)

by S W Dietrich
Venue:in Logic Programming, in Proc. Fourth IEEE Symposium on Logic Programming