Hassan Aït-Kaci Andreas Podelski Seth Copen Goldstein Order Sorted Feature Theory Unification. 99-124 1997 30 J. Log. Program. 2 db/journals/jlp/jlp30.html#Ait-KaciPG97