Efficient Goal Directed Bottom-up Evaluation of Logic Programs

Michael Codish. Efficient Goal Directed Bottom-up Evaluation of Logic Programs. In ICLP. pages 422, 1997.

Abstract

Abstract is missing.