Zhi Qiang Zhuang, Maurice Pagnucco. Two Methods for Constructing Horn Contractions. In Jiuyong Li, editor, AI 2010: Advances in Artificial Intelligence - 23rd Australasian Joint Conference, Adelaide, Australia, December 7-10, 2010. Proceedings. Volume 6464 of Lecture Notes in Computer Science, pages 72-81, Springer, 2010. [doi]
Abstract is missing.