Hassan Aït-Kaci, Andreas Podelski. Entailment and Disentailment of Order-Sorted Feature Constraints. In PPCP. pages 1-6, 1993.
@inproceedings{Ait-KaciP93:0, title = {Entailment and Disentailment of Order-Sorted Feature Constraints}, author = {Hassan Aït-Kaci and Andreas Podelski}, year = {1993}, tags = {constraints}, researchr = {https://researchr.org/publication/Ait-KaciP93%3A0}, cites = {0}, citedby = {0}, pages = {1-6}, booktitle = {PPCP}, }