"Model Based Horn Contraction."

Zhi Qiang Zhuang, Maurice Pagnucco (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics