Ron Rymon On Kernel Rule's and Prime Implicants. 181-186 1994 AAAI db/conf/aaai/aaai94-1.html#Rymon94