Tzvi Raz Nancy A. Botten The knowledge base partitioning problem: Mathematical formulation and heuristic clustering. 329-337 1992 8 Data Knowl. Eng. db/journals/dke/dke8.html#RazB92