New terms metric based on substitutions.

Qinghua Liu, Yang Xu, Xingxing He

Browse the full ISKE paper archive.