"Order-Sorted Feature Theory Unification."

Hassan Aït-Kaci, Andreas Podelski, Seth Copen Goldstein (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics