Local Patching Produces Compact Knowledge Bases. - Paul Compton; Phillip Preston; Byeong Kang 001; T. Yip (EKAW, 1994)