Space optimization in the bottom-up evaluation of logic programs

S. Sudarshan, Divesh Srivastava, Raghu Ramakrishnan, Jeffrey F. Naughton

Available in: PDF