Hassan Aït-Kaci, Andreas Podelski, Seth Copen Goldstein
Order-Sorted Feature Theory Unification
ICLP, 1993.
@inproceedings{ILPS-1993-Ait-KaciPG,
author = "Hassan Aït-Kaci and Andreas Podelski and Seth Copen Goldstein",
booktitle = "{Proceedings of the International Symposium on Logic Programming}",
isbn = "0-262-63152-0",
pages = "506--524",
publisher = "{MIT Press}",
title = "{Order-Sorted Feature Theory Unification}",
year = 1993,
}