An Efficient Algorithm for Computing Kernel Function Defined with Anti-unification. - Koichiro Doi; Tetsuya Yamashita; Akihiro Yamamoto (ILP, 2006)