Kevin Tomsovic Chen-Ching Liu Bounding the Computation Time of Forward-Chaining Rule-Based Systems. 317-334 1993 10 Data Knowl. Eng. db/journals/dke/dke10.html#TomsovicL93