A kernel for dlxj