Order-sorted feature theory uni (1997)

by H At-Kaci, A Podelski, S C Goldstein
Venue:Journal of Logic, Language and Information