"Order-sorted dependency pairs."

Salvador Lucas, José Meseguer (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics