An Efficient Algorithm for Computing Kernel Function Defined with Anti-unification.

Koichiro Doi, Tetsuya Yamashita, Akihiro Yamamoto

Browse the full ILP paper archive.