Coverage-Based Semi-distance between Horn Clauses.

Zdravko Markov, Ivo Marinchev

Browse the full AIMSA paper archive.