A heuristically 'optimal' knowledge base organization technique. - Richard E. Cullingford; L. J. Joseph (Autom., 1983)