Computing Coupled Similarity.

Benjamin Bisping, Uwe Nestmann

Browse the full TACAS paper archive.