%0 Conference Paper %1 conf/slp/Ait-KaciPG93 %A Aït-Kaci, Hassan %A Podelski, Andreas %A Goldstein, Seth Copen %B ILPS %D 1993 %E Miller, Dale %I MIT Press %K dblp %P 506-524 %T Order-Sorted Feature Theory Unification. %U http://dblp.uni-trier.de/db/conf/slp/slp93.html#Ait-KaciPG93 %@ 0-262-63152-0

@inproceedings{conf/slp/Ait-KaciPG93, added-at = {2013-12-04T00:00:00.000+0100}, author = {Aït-Kaci, Hassan and Podelski, Andreas and Goldstein, Seth Copen}, biburl = {https://www.bibsonomy.org/bibtex/2853e799ba1c2a5b16f722a87544cb07d/dblp}, booktitle = {ILPS}, crossref = {conf/slp/1993}, editor = {Miller, Dale}, interhash = {c76e029f4aba6f6824592536a4197757}, intrahash = {853e799ba1c2a5b16f722a87544cb07d}, isbn = {0-262-63152-0}, keywords = {dblp}, pages = {506-524}, publisher = {MIT Press}, timestamp = {2013-12-05T11:35:58.000+0100}, title = {Order-Sorted Feature Theory Unification.}, url = {http://dblp.uni-trier.de/db/conf/slp/slp93.html#Ait-KaciPG93}, year = 1993 }