Hassan Aït-Kaci Andreas Podelski Seth Copen Goldstein Order-Sorted Feature Theory Unification. 506-524 1993 ILPS db/conf/slp/slp93.html#Ait-KaciPG93