Rule Ordering in Bottom-Up Fixpoint Evaluation of Logic Programs

Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan. Rule Ordering in Bottom-Up Fixpoint Evaluation of Logic Programs. IEEE Trans. Knowl. Data Eng., 6(4):501-517, 1994. [doi]

Abstract

Abstract is missing.