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.

Possibly Related Publications

The following publications are possibly variants of this publication: