Entailment and disentailment of order-sorted feature constraints (1993)

by H Ait-Kaci, A Podelski
Venue:Proceedings of the Fourth International Conference on Logic Programming and Automated Reasoning, Springer LNAI 698