Zdravko Markov, Ivo Marinchev. Coverage-Based Semi-distance between Horn Clauses. In Stefano A. Cerri, Danail Dochev, editors, Artificial Intelligence: Methodology, Systems, and Applications, 9th International Conference, AIMSA 2000, Varna, Bulgaria, September 20-23, 2000, Proceedings. Volume 1904 of Lecture Notes in Computer Science, pages 331-339, Springer, 2000. [doi]
Abstract is missing.