Jorge B. Bocca. Compilation of Logic Programs to Implement Very Large Knowledge Base Systems - A Case Study: Educe*. In Proceedings of the Sixth International Conference on Data Engineering, February 5-9, 1990, Los Angeles, California, USA. pages 361-369, IEEE Computer Society, 1990. [doi]