A Space Efficient Engine for Subsumption-Based Tabled Evaluation of Logic Programs. - Ernie Johnson; C. R. Ramakrishnan 001; I. V. Ramakrishnan; Prasad Rao (Fuji International Symposium on Functional and Logic Programming, 1999)