Zdravko Markov Ivo Marinchev Coverage-Based Semi-distance between Horn Clauses. 331-339 https://doi.org/10.1007/3-540-45331-8_32 2000 conf/aimsa/2000 AIMSA db/conf/aimsa/aimsa2000.html#MarkovM00