Ralph Barletta William Mark Explanation-Based Indexing of Cases. 541-546 1988 AAAI db/conf/aaai/aaai88.html#BarlettaM88